Using Automated Reasoning Systems on Molecular Computing | Publicación