Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry A Note on the Parallel Complexity of Anti-Unification. 381-389 1992 9 J. Autom. Reasoning 3 db/journals/jar/jar9.html#KuperMPP92