Generalized Satisfiability for the Description Logic

Arne Meier, Thomas Schneider

Browse the full TAMC paper archive.