1. Appel, A.W.: Modern Compiler Implementation in C. Cambridge University Press, Cambridge (1998)
2. Blockeel, H., et al.: Modeling machine learning and data mining problems with FO(
$$\cdot $$
). In: Dovier, A., Costa, V.S. (eds.) Proceedings of the 28th International Conference on Logic Programming - Technical Communications (ICLP 2012). LIPIcs, vol. 17, pp. 14–25. Schloss Daghstuhl - Leibniz-Zentrum fuer Informatik, September 2012
3. Calimeri, F., et al.: ASP-Core-2 input language format. Technical report, ASP Standardization Working Group (2013)
4. Dasseville, I., van der Hallen, M., Bogaerts, B., Janssens, G., Denecker, M.: A compositional typed higher-order logic with definitions. In: Carro, M., King, A., De Vos, M., Saeedloei, N. (eds.) ICLP 2016. OASIcs, vol. 52, pp. 14.1–14.14. Schloss Dagstuhl, November 2016
5. De Cat, B.: Separating knowledge from computation: an FO(
$$\cdot $$
) knowledge base system and its model expansion inference. Ph.D. thesis, KU Leuven, Leuven, Belgium, May 2014