А. Закревский, «Экспертная система логического распознавания как средство обучения методам логического вывода.», ЛИ, т. 3, сс. 178-180, ноя. 1995.