A new proof of Hartman and Winter's theorem
scientific article; zbMATH DE number 7633375