@InProceedings{Brotherston:05,
  author    = "James Brotherston",
  title     = "Cyclic Proofs for First-Order Logic with Inductive Definitions",
  booktitle = "Proceedings of {TABLEAUX-14}",
  publisher = "Springer-Verlag",
  pages     = "78--92",
  series    = "LNAI",
  volume    = 3702,
  year      = 2005
}