Oostrom, Uniform normalisation beyond orthogonality (2001)

by Z Khasidashvili, M Ogawa, V van
Venue:Proceedings of the Twelfth International Conference on Rewriting Techniques and Applications (RTA ’01), Lecture Notes in Computer Science (2001