On Manin's conditional algorithm Horst G. Zimmer (1977) Mémoires de la Société Mathématique de France