1. Aerts, B., Deryck, M., Vennekens, J.: Knowledge-based decision support for machine component design: a case study. Exp. Syst. Appl. 187, 115869 (2022), https://www.sciencedirect.com/science/article/pii/S0957417421012288
2. Carbonnelle, P., Aerts, B., Deryck, M., Vennekens, J., Denecker, M.: An interactive consultant. In: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (BENELEARN 2019), Brussels, Belgium, 6–8 November 2019. CEUR workshop proceedings, vol. 2491. CEUR-WS.org (2019)
3. Carbonnelle, P., Vandevelde, S., Vennekens, J., Denecker, M.: IDP-Z3: a reasoning engine for FO(.) (2022). https://arxiv.org/abs/2202.00343
4. De Cat, B., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modeling language: the IDP system. In: Kifer, M., Liu, Y.A. (eds.) Declarative Logic Programming: Theory, Systems, and Applications, pp. 279–323. ACM (September 2018). https://dl.acm.org/citation.cfm?id=3191321
5. Lecture Notes in Computer Science;M Denecker,2008