Constructive Proof of Hilbert's Theorem on Ascending Chains
scientific article; zbMATH DE number 3404358