Bibel, Wolfgang and
Eder, Elmar. 1993.
“Methods and Calculi for Deduction.” in
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M.
Gabbay, Christopher J.
Hogger, and James A.
Robinson, pp. 68–183. Oxford: Oxford University Press.