Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic

Linh Anh Nguyen

Browse the full ISMIS paper archive.