В. В. Семко, “A formal description of the search space in the synthesis decisions”, PIC, vol. 2, no. 42, pp. 104–111, Jun. 2013.