ЭММАН, П.; ШУЛЬЖЕНКО, В. Инструмент для изучения метода резолюций. Computer Tools in Education, n. 6, 17 Jan. 2014.