Есипов, А. Решение логических задач. CTE 2014.