Полиномиальный алгоритм разрешения эквивалентности схем программтезисы доклада