Tableaux for Hybrid XPath with Data.

Carlos Areces, Raul Fervari, Nahuel Seiler

Browse the full EPIA paper archive.