Logics for Unranked Trees: An Overview. (2005)

by L Libkin
Venue:ICALP 2005. LNCS,