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