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

Volker Haarslev, Ralf Möller

Original languageEnglish
Title of host publicationTABLEAUX
Number of pages5
Publication date1999
Pages24-28
DOIs
Publication statusPublished - 1999

Cite this