Oostrom, Uniform normalisation beyond orthogonality (2001)

by Zurab Khasidashvili , Mizuhito Ogawa , Vincent Van Oostrom
Venue:Proceedings of the Twelfth International Conference on Rewriting Techniques and Applications (RTA ’01), Lecture Notes in Computer Science (2001
Citations:4 - 0 self