@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}
}