@misc{indiciae71c232d91562,
  title = {A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology},
  author = {Kaustuv Chaudhuri and Joelle Despeyroux},
  year = {2013},
  url = {https://arxiv.org/abs/1310.4310},
  note = {Source identifier: 1310.4310}
}