Efficient Parallel Algorithms for Anti-Unification and Relative Complement

Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry

Browse the full LICS paper archive.