Masami Hagiya Running Higher-Order Unification in PaiLisp. 155-160 1992 conf/psc/1992 Parallel Symbolic Computing db/conf/psc/psc1992.html#Hagiya92