TY  - RPRT
TI  - Inference in the FO(C) Modelling Language
AU  - Bart Bogaerts
AU  - Joost Vennekens
AU  - Marc Denecker
AU  - Jan Van den Bussche
PY  - 2014
UR  - https://arxiv.org/abs/1404.6368
ID  - 1404.6368
ER  -