Avoiding duplicate proofs with the foothold refinement
scientific article; zbMATH DE number 937304