A Proof Theory for Description Logics

MLA

Rademaker, Alexandre. A Proof Theory for Description Logics. Springer London, 2012.

APA

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

Chicago

Rademaker, Alexandre A Proof Theory for Description Logics. : Springer London, 2012.