"Unification as a Complexity Measure for Logic Programming."

Alon Itai, Johann A. Makowsky (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics