Cottereau M. New features of the Aleph verifier. Enredadera [Internet]. 2010 Jul. 31 [cited 2025 Nov. 23];(18):49-51. Available from: https://enredadera.urici.csic.es/index.php/enredadera/article/view/542