Трансфинитные развертки арифметических формул Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Финитное исследование трансфинитных выводов Г.Е. Минц (1975) Zapiski naucnych seminarov Leningradskogo
Эрбрановы тактики и отношение "большей выводимости" С.Ю. Маслов, С.А. Норгела (1977) Zapiski naucnych seminarov Leningradskogo