Alexandre Rademaker

• A Proof Theory for Description Logics
• A Proof Theory For Description Logics