Zhenyu Qian Kang Wang Modular AC Unification of Higher-Order Patterns. 105-120 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#QianW94