Automated cyclic entailment proofs in separation logic. (2011)

by J Brotherston, D Distefano, R L Petersen
Venue:In CADE ’11,