TY  - RPRT
TI  - LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
AU  - Ping Hou
AU  - Johan Wittocx
AU  - Marc Denecker
PY  - 2012
UR  - https://arxiv.org/abs/1207.2534
ID  - 1207.2534
ER  -