Tractable Reasoning in a Fragment of Separation Logic. - Cook, B; Haase, C; Ouaknine, J; Parkinson, M; Worrell, J (Springer, 2011)