A Proof Procedure for Hereditary Harrop Formulas with Free Equality

Evgeny Makarov. A Proof Procedure for Hereditary Harrop Formulas with Free Equality. In Sergei I. Adian, Anil Nerode, editors, Logical Foundations of Computer Science, 4th International Symposium, LFCS 97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Volume 1234 of Lecture Notes in Computer Science, pages 203-213, Springer, 1997.

Abstract

Abstract is missing.