Alon Itai Johann A. Makowsky Unification as a Complexity Measure for Logic Programming. 105-117 1987 4 J. Log. Program. 2 db/journals/jlp/jlp4.html#ItaiM87