Cyclic Proofs, Hypersequents, and Transitive Closure Logic.

Anupam Das, Marianna Girlando

Browse the full CADE paper archive.