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