Expressiveness of a spatial logic for trees (2005)

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