"Formal verification of a proof procedure for the description logic ALC."

Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics