A proof theory for description logics - Rademaker, Alexandre (Springer, 2012)