Polynomial time uniformization and non-standard methods
scientific article; zbMATH DE number 951948