@misc{indiciae9b4777098762,
  title = {Asymptotically almost all λ-terms are strongly normalizing},
  author = {René David and Katarzyna Grygiel and Jakub Kozic and Christophe Raffalli and Guillaume Theyssier and Marek Zaionc},
  year = {2013},
  doi = {10.2168/lmcs-9(1:2)2013},
  url = {https://arxiv.org/abs/0903.5505},
  note = {Source identifier: 0903.5505}
}