A parallel completion procedure for term rewriting systems (1992)

by K A Yelick, S J Garland
Venue:In Conference on Automated Deduction