@misc{AmorimV20-IWC,
  title = {Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering},
  author = {Luí­s Eduardo Amorim de Souza and Eelco Visser},
  year = {2020},
  month = {June},
  note = {Extended abstract for talk presented at International Workshop on Confluence 2020 (IWC 2020) in Paris, June 2020.},
  researchr = {https://researchr.org/publication/AmorimV20-IWC},
  cites = {0},
  citedby = {0},
}