Cyclic proofs, hypersequents, and transitive closure logic
scientific article; zbMATH DE number 7628206
scientific article