@incollection{AST_1976__38-39__45_0,
     author = {Engeler, Erwin},
     title = {Lover bounds by {Galois} theory},
     booktitle = {Journ\'ees algorithmiques},
     series = {Ast\'erisque},
     pages = {45--52},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {38-39},
     year = {1976},
     mrnumber = {449010},
     zbl = {0355.02027},
     language = {en},
     url = {http://archive.numdam.org/item/AST_1976__38-39__45_0/}
}