1. Beeson, M.J., Some applications of Gentzen's proof theory in automated deduction. Manuscript, 1988.
2. Chang, C.L., Lee, R.C.T. Symbolic Logic and Mechanical Theorem Proving. Academic Press, (1973).
3. Dyckoff, R. Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57(3), 795–807 (1992).
4. Fermüller, C., Leitsch, A., Tammet, T., Zamov, N. Resolution methods for decision problems. LNCS 679, Springer Verlag, (1993).
5. Fitting, M. Resolution for Intuitionistic Logic. Paper presented at ISMIS '87, Charlotte, NC. 1987.