Author here! It's my fault the code and report are a little disorganized, but there is a related work section in the full report (https://github.com/oisdk/agda-

Author here! It's my fault the code and report are a little disorganized, but there is a related work section in the full report (https://github.com/oisdk/agda-ring-solver-report/blob/master/report.pdf https://github.com/oisdk/agda-ring-solver-report/blob/master...) which mentions that paper. Also, if you click through to the section on the algorithm itself (https://oisdk.github.io/agda-ring-solver/Polynomial.NormalForm.html https://oisdk.github.io/agda-ring-solver/Polynomial.NormalFo...) you'll see a link to the same paper.