A Practically Efficient and Almost Linear Unification Algorithm.

Gonzalo Escalada-Imaz Malik Ghallab A Practically Efficient and Almost Linear Unification Algorithm. 249-263 1988 36 Artif. Intell. 2 db/journals/ai/ai36.html#Escalada-ImazG88