TY  - RPRT
TI  - Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results
AU  - Joost Vennekens
AU  - Marc Denecker
PY  - 2013
UR  - https://arxiv.org/abs/1301.1395
ID  - 1301.1395
ER  -