Распознавание эквивалентности в модели программ с частично перестановочными операторамитезисы доклада