Automated Cyclic Entailment Proofs in Separation Logic.

James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen

Browse the full CADE paper archive.