%0 Generic %D 2002 %T Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model %A Francisco J. Martín-Mateos %A Mario J. Pérez-Jiménez %A Fernando Sancho-Caparrini %C Grenoble, Francia %P 175-187 %S Third International Workshop on the ACL2 Theorem Prover and its Applications %8 April 8-9 %> http://www.gcn.us.es/files/Molecular Computation Models in ACL2.pdf