Leitsch, A. (1997). The resolution calculus. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Leitsch, Alexander. The Resolution Calculus. Berlin: Springer, 1997.
Παραπομπή σε μορφή MLA (8th εκδ.)Leitsch, Alexander. The Resolution Calculus. Springer, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.