CPO models for infinite term rewriting (1995)

by Andrea Corradini, Fabio Gadducci
Venue:in Proc. AMAST'95, LNCS 936