@misc{indiciae47b257ea26fa,
  title = {On the Complexity of Deciding Call-by-Need},
  author = {Irène Durand and Aart Middeldorp},
  year = {2011},
  url = {https://arxiv.org/abs/0901.0869},
  note = {Source identifier: 0901.0869}
}