@misc{indiciae2019bdb0410a,
  title = {On Constructor Rewrite Systems and the Lambda-Calculus (Long Version)},
  author = {Ugo Dal Lago and Simone Martini},
  year = {2012},
  url = {https://arxiv.org/abs/0904.4120},
  note = {Source identifier: 0904.4120}
}