Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (соавтор Захаров В.Астатья