@misc{indiciaef4f9b2e93927,
  title = {A Typo in the Paterson-Wegman-de Champeaux algorithm},
  author = {Valeriu Motroi and Stefan Ciobaca},
  year = {2020},
  url = {https://arxiv.org/abs/2007.00304},
  note = {Source identifier: 2007.00304}
}