Formulation of Induction Formulas in Verification of Prolog Programs.

Tadashi Kanamori, Hiroshi Fujita

Browse the full CADE paper archive.