Higher-Order E-Unification for Arbitrary Theories

Zhenyu Qian, Kang Wang. Higher-Order E-Unification for Arbitrary Theories. In JICSLP. pages 52-66, 1992.

Abstract

Abstract is missing.