D. W. Shin Jong H. Nang Sangki Han Seungryul R. Maeng A Functional Logic Language Based on Canonical Unification. 328-334 1987 SLP db/conf/slp/slp87.html#ShinNHM87