Семко, В. В. “A Formal Description of the Search Space in the Synthesis Decisions”. Problems of Informatization and Control 2, no. 42 (June 1, 2013): 104–111. Accessed June 14, 2026. http://jrnl.kai.edu.ua/index.php/PIU/article/view/6479.