1. F.V. Anufriev and Z.M. Aselderov. The algorithm of evidence (in Russian). Kibernetika, (5):29–60, 1972.
2. A. Degtyarev and A. Voronkov. Equality control methods in machine theorem proving. Cybernetics, 22(3):298–307, 1986.
3. A.I. Degtyarev, A.P. Zhezherun, and A.V. Lyaletski. Deductive tools of a mathematical text processing system (in Russian). Kibernetika, (5):105–108, 1978.
4. A. Degtyarev and A. Voronkov. Skolemization and decidability problems for fragments of intuitionistic logic. To appear in LICS'96, 10 pages, 1996.
5. R. Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57:795–807, 1992.