Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

Browse the full CADE paper archive.