PROLOG-Based Inductive Theorem Proving

Jieh Hsiang, Mandayam K. Srivas. PROLOG-Based Inductive Theorem Proving. In S. N. Maheshwari, editor, Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings. Volume 206 of Lecture Notes in Computer Science, pages 129-149, Springer, 1985.

Abstract

Abstract is missing.