DMCA

Shostak's Congruence Closure as Completion (1997)

Cached

Download Links

by Deepak Kapur
Venue:Proceedings of the 8th International Conference on Rewriting Techniques and Applications, volume 1232 of Lecture Notes in Computer Science
Citations:36 - 3 self