TY  - RPRT
TI  - Predicate Logic as a Modelling Language: The IDP System
AU  - Broes De Cat
AU  - Bart Bogaerts
AU  - Maurice Bruynooghe
AU  - Gerda Janssens
AU  - Marc Denecker
PY  - 2018
UR  - https://arxiv.org/abs/1401.6312
ID  - 1401.6312
ER  -