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