Extended Caching, Backjumping and Merging for Expressive Description Logics.

Andreas Steigmiller, Thorsten Liebig, Birte Glimm

Browse the full CADE paper archive.