(1)
Курганский, В. И. Диалоговое решение логических задач. CTE 2014.