A Parallel Completion Procedure for Term Rewriting Systems (1992)

Cached

Download Links

by Katherine A. Yelick , Stephen J. Garland
Venue:In Conference on Automated Deduction
Citations:12 - 7 self