Confluence and superdevelopments (1993)

by Femke van Raamsdonk
Venue:5th International Conference on Rewriting Techniques and Applications - RTA’93, volume 690 of Lecture Notes in Computer Science