Abstract cyclic proofs
scientific article; zbMATH DE number 7951653
scientific article