Провкин В. А. Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы / В. А. Провкин, А. Ю. Матросова // Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 72-73. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926978