Астафьев М. В. К проблеме минимизации BDD-графов / М. В. Астафьев, А. Ю. Матросова // Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1. Томск, 1997. Т. 1. Математика. С. 149-150