Rademaker, A. (2012). A Proof Theory for Description Logics. Springer London : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Rademaker, Alexandre. A Proof Theory for Description Logics. London: Springer London : Imprint: Springer, 2012.
Παραπομπή σε μορφή MLA (8th εκδ.)Rademaker, Alexandre. A Proof Theory for Description Logics. Springer London : Imprint: Springer, 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.