Deciding validity in a spatial logic for trees (2003)

by Cristiano Calcagno, Luca Cardelli, Andrew D Gordon
Venue:In Proceedings of the ACM Workshop on Types in Language Design and Implementation