1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Boston (1994)
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009). https://doi.org/10.1613/jair.2820
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
4. Boppana, R.B., Sipser, M.: The complexity of finite functions. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, pp. 757–804. Elsevier and MIT Press, Amsterdam, Cambridge (1990)
5. Borgwardt, S., Cerami, M., Peñaloza, R.: Many-valued horn logic is hard. In: Lukasiewicz, T., Peñaloza, R., Turhan, A. (eds.) Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014. CEUR Workshop Proceedings, vol. 1205, pp. 52–58. CEUR-WS.org (2014). http://ceur-ws.org/Vol-1205/00010052.pdf