Сафарян, А. А. NP-полнота задачи разбиения систем булевых уравнений на минимальные блоки / А. А. Сафарян. - Москва : ВЦ АН СССР, 1984. - 19 с. - Сообщения по прикладной математике / АН СССР. ВЦ . - Сообщения по прикладной математике . Subjects--Index Terms: Алгебра логики