Definability for Downward and Vertical XPath on Data Trees.

Sergio Abriola, Mara Emilia Descotte, Santiago Figueira

Browse the full WoLLIC paper archive.