Satisfiability of XPath expressions (2003)

by J Hidders
Venue:In DBPL