1. A.R. Anderson, N.D. Belnap, Entailment, Vol.1, Princeton University Press, Princeton, 1975.
2. M.W. Bunder, Ben–Yelles type algorithms and the generation of proofs in implicational logics, University of Wollongong, Department of Mathematics Preprint Series No 3/95.
3. Lambda terms definable as combinators;Bunder;Theoret. Comput. Sci.,1996
4. G. Gentzen, Investigations into logical deduction, in: M.E. Szabo (Ed.), The Collected Works of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 68–131.
5. BCK and BCI logics, condensed detachment and the 2-property;Hindley;Notre Dame Formal Logic,1993