Restriction on Cut in Cyclic Proof System for Symbolic Heaps.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Browse the full FLOPS paper archive.