@misc{indiciae2426d862b158,
  title = {Synthesis of sup-interpretations: a survey},
  author = {Romain Péchoux},
  year = {2012},
  doi = {10.1016/j.tcs.2012.11.003},
  url = {https://arxiv.org/abs/1210.7136},
  note = {Source identifier: 1210.7136}
}