Следующие страницы ссылаются на «О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами»: