@article {850,
	title = {Soluciones moleculares del problema SAT de la L{\'o}gica Proposicional},
	journal = {Primeras Jornadas sobre L{\'o}gica y Lenguaje},
	year = {2000},
	month = {29/11-1/12/2000},
	pages = {243-252},
	publisher = {Editorial KRONOS},
	address = {Seville (Spain)},
	isbn = {84-85101-57-X},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Carmen Graciani-D{\'\i}az and {\'A}lvaro Romero-Jim{\'e}nez and Fernando Sancho-Caparrini},
	editor = {{\'A}ngel Nepomuceno and Jos{\'e} F. Quesada and Francisco J. Salguero}
}
