A Refined Tableau Calculus with Controlled Blocking for the Description Logic.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Browse the full TABLEAUX paper archive.