Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning. - Yu-Chou Lin; Jie-Hong R. Jiang (ICCAD, 2020)