"Complete Sequent Calculi for Induction and Infinite Descent."

James Brotherston, Alex Simpson (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics