@article{compref173,
   author = {Itai,A and Makowsky,JA},
   year = {1987},
   title = {Unification as a Complexity Measure for Logic Programming},
   journal = {Journal of Logic Programming},
   volume = {4},
   pages = {105-117}
}