Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof
scientific article; zbMATH DE number 2052656