@misc{indiciae88e575cee40c,
  title = {LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions},
  author = {Ping Hou and Johan Wittocx and Marc Denecker},
  year = {2012},
  url = {https://arxiv.org/abs/1207.2534},
  note = {Source identifier: 1207.2534}
}