Separation of complexity classes in Koiran's weak model
scientific article; zbMATH DE number 695888