Verificación formal en ACL2 del Algoritmo de Buchberger.

Aquesta tesi apareix a les col·leccions següents