?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Cardelli%2C+Luca&rft.aufirst=Luca&rft.aulast=Cardelli&rft.btitle=Proceedings+of+the+Thirty-First+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science+(LICS)&rft.title=Comparing+Chemical+Reaction+Networks%3AA+Categorical+and+Algorithmic+Perspective&rft.date=2016&rft.genre=proceeding