Conditional Circular Coinductive Rewriting with Case Analysis (2003)

by J Goguen, K Lin, G Rosu
Venue:Proc. WADT’02, Springer LNCS 2755