Completeness of cyclic proofs for symbolic heaps with inductive definitions
scientific article; zbMATH DE number 7834983
scientific article