Intelligent Tableau Algorithm for DL Reasoning.

Ming Zuo, Volker Haarslev

Browse the full TABLEAUX paper archive.