@inproceedings{conf/aisc/Medina-BuloPAR04,
title = {Verified Computer Algebra in Acl2. Gröbner Bases Computation.},
author = {Inmaculada Medina-Bulo and Francisco Palomo-Lozano and José A. Alonso-Jiménez and José-Luis Ruiz-Reina},
booktitle = {AISC},
crossref = {conf/aisc/2004},
editor = {Bruno Buchberger and John A. Campbell},
pages = {171-184},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2004.html#Medina-BuloPAR04},
volume = {3249},
year = {2004},
description = {dblp},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3249&spage=171}, isbn = {3-540-23212-5}, date = {2005-01-04},
keywords = {dblp }
}
::