@misc{indiciae6f49a2fb3be8,
  title = {Linear Depth Increase of Lambda Terms along Leftmost-Outermost Beta-Reduction},
  author = {Clemens Grabmayer},
  year = {2019},
  url = {https://arxiv.org/abs/1604.07030},
  note = {Source identifier: 1604.07030}
}