A Proof Theory for Description Logics - Rademaker, Alexandre (Springer London : Imprint: Springer, 2012)