Loop detection in term rewriting using the eliminating unfoldings
scientific article; zbMATH DE number 5344352
scientific article