Prihozhy AA. Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams. Журнал Белорусского государственного университета. Математика. Информатика. 2021;(3):84-97. doi:10.33581/2520-6508-2021-3-84-97