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