(1)
Новодворский, А.; Смирнов, А. Открытая система поддержки поиска вывода для различных логических исчислений. ЛИ 1997, 4, 154-162.