1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2017
2. Baader, F.: Expressive cardinality constraints on $$\cal{ALCSCC}$$ concepts. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019). ACM (2019)
3. Baader, F., Bednarczyk, B., Rudolph, S.: Satisfiability checking and conjunctive query answering in description logics with global and local cardinality constraints. In: Proceedings of the 32nd International Workshop on Description Logics (DL 2019). CEUR Workshop Proceedings. CEUR-WS.org (2019, submitted)
4. 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)
5. Baader, F., Ecke, A.: Extending the description logic $$\cal{ALC}$$ with more expressive cardinality constraints on concepts. In: 3rd Global Conference on Artificial Intelligence (GCAI 2017). EPiC Series in Computing, vol. 50, pp. 6–19. EasyChair (2017)