Y. V. Voronkov, “RATIONALE DESIGNATED CONTROLLING COST”, STP, no. 17, pp. 221–225, Aug. 2007.