Tree extension algebras: logics, automata, and query languages (2002)

by M Benedikt, L Libkin
Venue:Proc. 17th LICS