Efficient Parallel Term Matching and Anti-Unification.

Arthur L. Delcher, Simon Kasif

Browse the full ICLP paper archive.