@inproceedings{brotherston-et-al-2012,
  author    = {James Brotherston and
               Nikos Gorogiannis and
               Rasmus Lerchedahl Petersen},
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {A Generic Cyclic Theorem Prover},
  booktitle = {{APLAS} 2012},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  pages     = {350--367},
  publisher = {Springer},
  year      = {2012}
}

@article{blanchette-et-al-2017-co-methods,
  author    = {Jasmin Christian Blanchette and
               Andrei Popescu and
               Dmitriy Traytel},
  title     = {Soundness and Completeness Proofs by Coinductive Methods},
  journal   = {J. Autom. Reasoning},
  volume    = {58},
  number    = {1},
  pages     = {149--179},
  year      = {2017}
}
