@Article{Brotherston-Simpson:11,
  author    = "James Brotherston and Alex Simpson",
  title     = "Sequent Calculi for Induction and Infinite Descent",
  journal   = "Journal of Logic and Computation",
  volume    = 21,
  number    = 6,
  pages     = "1177--1216",
  publisher = "Oxford University Press",
  month     = "December",
  year      = 2011
}