Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.

Volker Haarslev, Ralf Mller

Browse the full TABLEAUX paper archive.