Coquand T, Mörtberg A, Siles V. A formal proof of Sasaki-Murao algorithm. JFR [Internet]. 2012Jan.1 [cited 2024Apr.24];5(1):27-36. Available from: https://jfr.unibo.it/article/view/2615