О реализации алгоритмов типа "Кора" с помощью решения систем булевых уравнений специального видаПлатоненко, И.М.198321 с.