Cardelli, Češka, Fränzle, Kwiatkowska, Laurenti, Paoletti, Whitby, 2017. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-63390-9_20