Метод эпсилон подстановок для исчисления предикатов с равенством Г.Е. Минц (1995) Zapiski naucnych seminarov POMI
Об одной полной системе классической арифметики Н.В. Белякин, N.V. Beljakin, N.V. Belâkin, N.V. Beljakin (1967) Algebra i Logika