Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent.

Reuben N. S. Rowe, James Brotherston

Browse the full TABLEAUX paper archive.