TY  - RPRT
TI  - A Typo in the Paterson-Wegman-de Champeaux algorithm
AU  - Valeriu Motroi
AU  - Stefan Ciobaca
PY  - 2020
UR  - https://arxiv.org/abs/2007.00304
ID  - 2007.00304
ER  -