@inproceedings{conf/tphol/Medina-BuloPA01,
title = {A Certified Polynomial-Based Decision Procedure for Propositional Logic.},
author = {Inmaculada Medina-Bulo and Francisco Palomo-Lozano and José A. Alonso-Jiménez},
booktitle = {TPHOLs},
crossref = {conf/tphol/2001},
editor = {Richard J. Boulton and Paul B. Jackson},
pages = {297-312},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#Medina-BuloPA01},
volume = {2152},
year = {2001},
description = {dblp},
ee = {http://link.springer.de/link/service/series/0558/bibs/2152/21520297.htm}, isbn = {3-540-42525-X}, date = {2002-01-03},
keywords = {dblp }
}
::