Modular aspects of properties of term rewriting systems related to normal forms (1989)

by Aart Middeldorp
Venue:Proc. 3rd Int. Conf. on Rewriting Techniques and Applications, volume 355 of Lecture Notes in Computer Science