%Two versions of this paper have been published, at NMR and at ECAI. Please cite the ECAI version

%%%%%%   ECAI    %%%%%%%
%Citation info will come after the conference

@inproceedings{451586,
  author = "Bogaerts, Bart and Vennekens, Joost and Denecker, Marc and Van den Bussche, Jan",
  title = "Inference in the {FO}({C}) modelling language",
  booktitle = "Proceedings of the Twenty-first European Conference on Artificial Intelligence, European Conference on Artificial Intelligence, Prague, 18-22 August 2014",
  editor = "Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry",
  publisher = "IOS Press",
  pages = "111--116",
  year = "2014",
  doi = "10.3233/978-1-61499-419-0-111",
  url = "https://lirias.kuleuven.be/handle/123456789/451586",
}




%%%%%%   NMR     %%%%%%%
@inproceedings{451584,
  author = "Bogaerts, Bart and Vennekens, Joost and Denecker, Marc and Van den Bussche, Jan",
  title = "Inference in the {FO}({C}) modelling language",
  booktitle = "Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, International Workshop on Non-Monotonic Reasoning, Vienna, 17-19 July 2014",
  editor = "Konieczny, S{\'e}bastien and Tompits, Hans",
  publisher = "Institut F{\"u}r Informationssyteme",
  location = "Vienna",
  pages = "82--89",
  year = "2014",
  url = "https://lirias.kuleuven.be/handle/123456789/451584",
}