Satisfiability of a spatial logic with tree variables (2007)

by E Filiot, J-M Talbot, S Tison
Venue:In Proceedings of the 21st International Workshop on Computer Science Logic (CSL 2007), volume 4646 of Lecture Notes in Computer Science