1. IBM, ILOG CPLEX optimizer.
http://www.ibm.com/software/integration/optimization/cplex-optimizer
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
3. Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable functions in ASP: theory and implementation. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 407–424. Springer, Heidelberg (2008)
4. Denecker, M., Calabuig, Á.C., Bruynooghe, M., Arieli, O.: Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. 35(3), 22:1–22:60 (2010)
5. Denecker, M., De Schreye, D., Willems, Y.: Terms in Logic programs: a problem with their semantics and its effect on the programming methodology. CCAI: J. Integr. Study Artif. Intell., Cogn. Sci. Appl. Epistemology 7(3–4), 363–383 (1990)