A proof theory for description logics - Rademaker, Alexandre (SpringerBriefs in computer science / series Editors Stan Zdonik [y otros nueve], 2012)