Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry Efficient Parallel Algorithms for Anti-Unification and Relative Complement 112-120 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#KuperMPP88