С. Рыбин, “Метод резолюций”, CTE, no. 6, Jan. 2014.