Cpo models for infinite term rewriting (1995)

by A Corradini, F Gadducci
Venue:In AMAST’95: Proceedings of the 4th International Conference in Algebraic Methodology and Software Technology, volume 936 of LNCS