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