Conditional circular coinductive rewriting with case analysis (2002)

by J A Goguen, K Lin, G Rosu
Venue:Hennicker (Eds.), WADT, LNCS