Эмман, П.; Шульженко, В. Инструмент для изучения метода резолюций. CTE 2014.