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