A Parallel Completion Procedure for Term Rewriting Systems.

Katherine A. Yelick, Stephen J. Garland

Browse the full CADE paper archive.