Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent.

Liron Cohen, Reuben N. S. Rowe

Browse the full CSL paper archive.