TY  - RPRT
TI  - A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation
AU  - Marc Denecker
AU  - Bart Bogaerts
AU  - Joost Vennekens
PY  - 2017
UR  - https://arxiv.org/abs/1702.04551
ID  - 1702.04551
ER  -