Foundations for decision problems in separation logic with general inductive predicates. (2014)

by T Antonopoulos, N Gorogiannis, C Haase, M Kanovich, J Ouaknine
Venue:In FOSSACS’14, LNCS.