@article{Arsac1986,
  author    = {{Jacques Arsac}},
  title     = {{Algorithmes pour vérifier la conjecture de Syracuse}},
  journal   = {{C. R. Acad. Sci. Paris}},
  year      = {{1986}},
  volume    = {{303}},
  pages     = {{155--159}},
  note      = {{Also: RAIRO, Inf. Théor. Appl. {\bf 21} (1987), 3--9. MR 87m:11128}},
}