1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)
2. Arora, S., Barak, B.: Computational Complexity - A Modern Approach. Cambridge University Press, Cambridge (2009)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory. Cambridge University Press, Cambridge, Implementation and Applications (2003)
4. Barceló, P., Kostylev, E., Monet, M., Pérez, J., Reutter, J., Silva, J.-P.: The logical expressiveness of graph neural networks. In: 8th International Conference on Learning Representations (ICLR 2020) (2020)
5. Bellomarini, L., Gottlob, G., Sallinger, E.: The vadalog system: datalog-based reasoning for knowledge graphs. arXiv preprint arXiv:1807.08709(2018)