Univ.-Prof. Dr. Aart Middeldorp   

Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms

Aart Middeldorp
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications (RTA 1989), Lecture Notes in Computer Science 355, pp. 263 – 277, 1989

abstract   bibtex   doi:10.1007/3-540-51081-8_113
© Springer