Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea  Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective.  In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA       (In Press)   (2016)