Satisfiability of XPath expressions (0)

by J Hidders
Venue:In DBPL’03