Expressiveness of a Spatial Logic for Trees.

Iovka Boneva, Jean-Marc Talbot, Sophie Tison

Browse the full LICS paper archive.