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