Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (2020) - Comments
doi: 10.1145/3373207.3404056 

---

Viktor Levandovskyy, Hans Schönemann, Karim Abou Zeid