@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://www.gcn.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} }