Bounded Model Checking with Description Logic Reasoning.

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell

Browse the full TABLEAUX paper archive.