@PhDThesis{Brotherston:PhD,
  author    = "James Brotherston",
  title     = "Sequent Calculus Proof Systems for Inductive Definitions",
  school    = "University of Edinburgh",
  month     = "November",
  year      = 2006
}