Permutation rewriting and algorithmic verification
scientific article; zbMATH DE number 5128340