F. Di Stefano and M. Šimkus, “Stable Model Semantics for Description Logic Terminologies”, AAAI, vol. 38, no. 9, pp. 10484–10492, Mar. 2024.