Mehmet Dincbas Pascal Van Hentenryck Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. 199-227 1987 4 J. Log. Program. 3 db/journals/jlp/jlp4.html#DincbasH87