Term Rewriting and Applications
scientific article; zbMATH DE number 2227944