@incollection{MSMF_1977__49-50__211_0,
     author = {Zimmer, Horst G.},
     title = {On {Manin's} conditional algorithm},
     booktitle = {Utilisation des calculateurs en math\'ematiques pures (Limoges, 1975)},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {211--224},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     year = {1977},
     doi = {10.24033/msmf.231},
     mrnumber = {58 #5682},
     zbl = {0371.14014},
     url = {http://www.numdam.org/articles/10.24033/msmf.231/}
}