@article{geneves-dke07,
AUTHOR = {Pierre Genev\`es and Nabil Layaida},
TITLE = {Deciding {XPath} Containment with {MSO}},
JOURNAL = {Data \& Knowledge Engineering},
MONTH = {October},
VOLUME = {63},
NUMBER = {1},
pages     = {108-136},
publisher = {Elsevier},
YEAR = {2007}	
}