Logics for unranked trees: an overview (2006)

by L Libkin
Venue:Logical Methods in Computer Science 2(3