A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators
Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами

V.V. Podymov, V.A. Zakharov
2014 Proceedings of the Institute for System Programming of RAS  
doi:10.15514/ispras-2014-26(3)-8 fatcat:wwgkv3jjyvd4vag2mwoyjb7c5a