TY  - RPRT
TI  - Circular Coinduction
AU  - Rosu, Grigore
AU  - Goguen, Joseph
AU  - Norvig, Peter
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20010120044
ID  - 20010120044
ER  -