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