@article {,
	title = {Molecular Computation Models in ACL2: A Simulation of Lipton{\textquoteright}s SAT Experiment in the  Adleman{\textquoteright}s Restricted Model},
	journal = {Third International Workshop on the ACL2 Theorem Prover and its Applications},
	year = {2002},
	month = {April 8-9},
	pages = {175-187},
	address = {Grenoble, Francia},
	attachments = {http://cantor.cs.us.es/files/Molecular Computation Models in  ACL2.pdf},
	author = {Francisco J. Mart{\'\i}n-Mateos and Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini}
}
