@misc{indiciaeb973ce67ed19,
  title = {Predicate Logic as a Modelling Language: The IDP System},
  author = {Broes De Cat and Bart Bogaerts and Maurice Bruynooghe and Gerda Janssens and Marc Denecker},
  year = {2018},
  url = {https://arxiv.org/abs/1401.6312},
  note = {Source identifier: 1401.6312}
}