Higher-Order E-Unification for Arbitrary Theories.

Zhenyu Qian, Kang Wang

Browse the full ICLP paper archive.