Iovka Boneva, Jean-Marc Talbot, Sophie Tison
Expressiveness of a Spatial Logic for Trees
LICS, 2005.
@inproceedings{LICS-2005-BonevaTT, author = "Iovka Boneva and Jean-Marc Talbot and Sophie Tison", booktitle = "{Proceedings of the 20th IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2005.17", isbn = "0-7695-2266-1", pages = "280--289", publisher = "{IEEE Computer Society}", title = "{Expressiveness of a Spatial Logic for Trees}", year = 2005, }