(1)
Bednarczyk, B.; KieroĊ„ski, E. Finite Entailment of Local Queries in the Z Family of Description Logics. AAAI 2022, 36, 5487-5494.