@InProceedings{Brotherston-Simpson:07,
  author    = "James Brotherston and Alex Simpson",
  title     = "Complete Sequent Calculi for Induction and Infinite Descent",
  booktitle = "Proceedings of {LICS}-22",
  pages     = "51--60",
  publisher = "IEEE Computer Society",
  month     = "July",
  year      = 2007
}