to appear 2003). Conditional circular coinductive rewriting (2002)

by J Goguen, G Rosu, K Lin
Venue:In Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT'02. Springer, Lecture Notes in Computer Science. Selected