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