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