Containment and Satisfiability Problem for XPath with Recursion.

Balzs Ksa

Browse the full ADBIS paper archive.