@InProceedings{CollatzRegExp,
  author ={Tristan St\'erin},
  title ={Binary expression of ancestors in the {C}ollatz graph},
  booktitle ={The 14th International Conference on Reachability Problems},
  pages ={115--130},
  series ={LNCS},
  year ={2020},
  volume ={12448},
  editor ={Igor Potapov and Sylvain Schmitz},
  publisher ={Springer},
    note={Arxiv preprint: \href{https://arxiv.org/abs/1907.00775}{\tt arXiv:1907.00775}}
}