@misc{indiciae65467efd5ce6,
  title = {On the likelihood of normalisation in combinatory logic},
  author = {Maciej Bendkowski and Katarzyna Grygiel and Marek Zaionc},
  year = {2016},
  url = {https://arxiv.org/abs/1607.04908},
  note = {Source identifier: 1607.04908}
}