Complete Sequent Calculi for Induction and Infinite Descent (2007)

by J Brotherston, A Simpson
Venue:Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science