Satisfiability of XPath expressions (2003)

by J Hidders
Venue:In Proceedings DBPL, number 2921 in LNCS