Bottom-up automata on data trees and vertical XPath.

Diego Figueira, Luc Segoufin

Browse the full STACS paper archive.