A Rule-Based Model of Base Excision Repair. - Agnes Köhler; Jean Krivine; Jakob Vidmar (CMSB, 2014)