Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment | Publicación