Constraint-Based Program Reasoning with Heaps and Separation. - Gregory J. Duck; Joxan Jaffar; Nicolas C. H. Koh (CP, 2013)