Hilbert-Style Axiomatization for Hybrid XPath with Data.

Carlos Areces, Raul Fervari

Browse the full JELIA paper archive.