A Conservative Extension of First-order Logic and Its Application to Theorem Proving

David A. Basin, Seán Matthews. A Conservative Extension of First-order Logic and Its Application to Theorem Proving. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings. Volume 761 of Lecture Notes in Computer Science, pages 151-160, Springer, 1993.

Abstract

Abstract is missing.