Higher-Order and Semantic Unification

Nachum Dershowitz, Subrata Mitra. Higher-Order and Semantic Unification. 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 139-150, Springer, 1993.

Abstract

Abstract is missing.