1. Bernays, P. 1922 Hilberts Bedeutung für die Philosophie der Mathematik; Die Naturwissenschaften 4, 93–99.
2. Bledsoe, W. 1977 Non-resolution theorem proving; Artificial Intelligence 9, 1–35.
3. Bledsoe, W. 1983 The UT natural-deduction prover; Technical Report, Department of Computer Science, University of Texas, Austin.
4. Dedekind, R. 1854 Über die Einführung neuer Funktionen in der Mathematik; Habilitationsvortrag; In (Dedekind 1932, 428–438) and translated in (Ewald 1996, 754–762).
5. Dedekind, R. 1872 Stetigkeit und irrational Zahlen