1. Ackermann, W.: Untersuchungen über das Eliminationsproblem der mathematischen Logik. Mathematische Annalen 110, 390–413 (1935)
2. Amir, E., McIlraith, S.A.: Partition-based logical reasoning. In: Princ. of Knowl. Repr. and Reasoning, pp. 389–400 (2000)
3. Bibel, W.: Deduktion — Automatisierung der Logik. Oldenbourg, München (1992)
4. Bibel, W., Eder, E.: Methods and calculi for deduction. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artif. Int. and Logic Programming, ch. 3, vol. 1, pp. 67–182. Oxford University Press, Oxford (1993)
5. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, Boston (1973)