[1]
B. Bednarczyk and E. Kieroński, “Finite Entailment of Local Queries in the Z Family of Description Logics”, AAAI, vol. 36, no. 5, pp. 5487-5494, Jun. 2022.