Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем Петар З. Хотомски — 1982 Publications de l'Institut Mathématique