Deruyver A: Compilation of Ground Term Rewriting Systems and Applications (0)

by M Dauchet
Venue:In Dershowitz (ed) Proceedings of the Conference: Rewriting Techniques and Applications, Springer, 1989, LNCS 355