Katherine A. Yelick Stephen J. Garland A Parallel Completion Procedure for Term Rewriting Systems. 109-123 1992 conf/cade/1992 CADE db/conf/cade/cade92.html#YelickG92 http://dx.doi.org/10.1007/3-540-55602-8_159