On a conjecture of Bergstra and Tucker
scientific article; zbMATH DE number 4111988
scientific article