"Satisfiability of a Spatial Logic with Tree Variables."

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics