Voronkov, Y. V. RATIONALE DESIGNATED CONTROLLING COST. STP 2007, 221-225.