Luca Cardelli Mirco Tribastone Max Tschaikowski Andrea Vandin Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. 485-494 2016 LICS https://doi.org/10.1145/2933575.2935318 https://ieeexplore.ieee.org/document/8576443 https://www.wikidata.org/entity/Q56981820 conf/lics/2016 db/conf/lics/lics2016.html#CardelliTTV16