"Deciding Definability in FO2(<) (or XPath) on Trees."

Thomas Place, Luc Segoufin (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics