Об алгоритме обр метода для поиска доказ в гегценовских сист

[alex_dorin]

[Об алгоритме обратного метода для поиска доказательства в генценовских системах]

Здравствуйте !
Прошу прояснить алгоритм поиска доказательства в первопорядковой логике c использованием обратного метода
в генценовских системах.

C уважением
Дорин Александр Александрович

[alex_dorin]

Я надеюсь, что это есть в этом труде

Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем //Кибернетика, 1986 No 3, 1987 No 4.

Подскажите, где найти в єлектронном виде ?