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