Model and proof theory of constructive ALC constructive description logics - Scheele, Stephan M. (Univ. of Bamberg Press, 2015)
Zsfassung in dt. Sprache