Satisfiability of a Spatial Logic with Tree Variables.

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison

Browse the full CSL paper archive.