MaRDI QIDQ5974209swMATHFDO
Official website https://www-verimag.imag.fr/TR/TR-2004-5.pdf
This page was built for software: Lurette