Prihozhy, A. A. . Synthesis of Quantum Circuits Based on Incompletely Specified Functions and If-Decision Diagrams. Журнал Белорусского государственного университета. Математика. Информатика 2021, No. 3, 84-97. https://doi.org/10.33581/2520-6508-2021-3-84-97.