@misc{indiciaeb3807cfbb8a2,
  title = {Why the usual candidates of reducibility do not work for the symmetric \$λμ\$-calculus},
  author = {René David and Karim Nour},
  year = {2009},
  url = {https://arxiv.org/abs/0905.1554},
  note = {Source identifier: 0905.1554}
}