Termination of just/fair computations in term rewriting
scientific article; zbMATH DE number 5276416
scientific article