"Extended Caching, Backjumping and Merging for Expressive Description Logics."

Andreas Steigmiller, Thorsten Liebig, Birte Glimm (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics