Efficient parallel algorithms for anti-unification and relative complement
Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry · 2003
Parallel algorithms and computational complexity results are given for two problems; computing the relative complement of terms and antiunification. The concepts of antiunification and relative complement are useful for theorem proving, logic programming, and machine learning. The relative complement problem is shown to be NP-complete.>