Franz Baader, Bartosz Bednarczyk, and Sebastian Rudolph. Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. 2019. [PUMA: imported zno]