Univ.-Prof. Dr. Aart Middeldorp   

Simple Termination of Rewrite Systems

Aart Middeldorp and Hans Zantema
Theoretical Computer Science 175(1), pp. 127 – 158, 1997

abstract   bibtex   pdf (preprint)   doi:10.1016/S0304-3975(96)00172-7
© 1997 Elsevier Science B.V.