1. Aczel, P.: Non-Well-Founded Sets, vol. 14. CSLI Lecture Notes, Stanford (1988)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook - Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2007)
3. D’Agostino, G., Montanari, A., Policriti, A.: A set-theoretic translation method for polymodal logics. J. Autom. Reasoning 15(3), 317–337 (1995)
4. De Giacomo, G., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In: Proceedings of AAAI 2011, San Francisco, California, USA, 7–11 August 2011
5. Giordano, L., Policriti, A.: Power(Set) ALC. In ICTCS, 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, 18–20 September 2018