Gasse, Haarslev, 2009. Expressive description logics via SAT, in: . ACM Press.. https://doi.org/10.1145/1670412.1670417