@InProceedings{Brotherston-Gorogiannis-Petersen:12,
  author    = "James Brotherston and Nikos Gorogiannis and Rasmus L.~Petersen",
  title     = "A Generic Cyclic Theorem Prover",
  booktitle = "Proceedings of {APLAS-10}",
  year      = 2012,
  series    = "LNCS",
  publisher = "Springer"
  pages     = "350--367"
}