On the Relation of Resolution and Tableaux Proof Systems for Description Logics.

Ullrich Hustadt, Renate A. Schmidt

Browse the full IJCAI paper archive.