Restriction on cut rule in cyclic-proof system for symbolic heaps
scientific article; zbMATH DE number 7939425
scientific article