Formulation of induction formulas in verification of Prolog programs (1986)

by T Kanamori, H Fujita
Venue:8th Conference on Automated Deduction, Lecture Notes in Computer Science 230