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

Linh Anh Nguyen, Andrzej Szalas

Browse the full ICCCI paper archive.