Expressiveness of a spatial logic for trees (0)

by I Boneva, J-M Talbot, S Tison
Venue:In LICS 2005