СЕМКО, В. В. A formal description of the search space in the synthesis decisions. Problems of Informatization and Control, [S. l.], v. 2, n. 42, p. 104–111, 2013. DOI: 10.18372/2073-4751.2.6479. Disponível em: http://jrnl.kai.edu.ua/index.php/PIU/article/view/6479. Acesso em: 14 jun. 2026.