@inproceedings{rosu-lucanu-2009-calco, author = {Grigore Ro\c{s}u and Dorel Lucanu}, title = {Circular Coinduction: A Proof Theoretical Foundation}, booktitle = {Proceedings of the 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO'09)}, year = {2009}, pages = {127-144}, ee = {http://dx.doi.org/10.1007/978-3-642-03741-2_10}, series = {Lecture Notes in Computer Science}, volume = {5728} }