Mathematical Induction in Otter-lambda. Beeson, M. Journal of Automated Reasoning, 36(4):311-344, 2006.
Mathematical Induction in Otter-lambda [pdf]Pdf  bibtex   

Downloads: 0