TY  - RPRT
TI  - FO(FD): Extending classical logic with rule-based fixpoint definitions
AU  - Hou Ping
AU  - Broes De Cat
AU  - Marc Denecker
PY  - 2010
DO  - 10.1017/s1471068410000293
UR  - https://arxiv.org/abs/1007.3819
ID  - 1007.3819
ER  -