Conditional Circular Coinductive Rewriting with Case Analysis (2004)

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