1. P. B. Andrews. Transforming matings into natural deduction proofs. In Proc. of the 5th CADE, pages 281–292. Springer, 1980.
2. A. Bundy. The use of explicit plans to guide inductive proofs. In Proc. of 9th CADE, pages 111–120. Springer, 1988.
3. [CAB+86] R.L. Constable et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, New Jersey, 1986.
4. D. Chester. The translation of formal proofs into English. AI, 7:178–216, 1976.
5. N. G. de Bruijn. A survey of the project AUTOMATH. In J. P. Seldin and J. R. Hindley, editors, To H.B. Curry — Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 579–606. Academic Press, 1980.