Prihozhy, A.A. 2021. Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams. Journal of the Belarusian State University. Mathematics and Informatics. 3 (Dec. 2021), 84–97. DOI:https://doi.org/10.33581/2520-6508-2021-3-84-97.