Bednarczyk, B. and Kieroński, E. (2022) “Finite Entailment of Local Queries in the Z Family of Description Logics”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), pp. 5487–5494. doi: 10.1609/aaai.v36i5.20487.