1. J.-M. Andreoli, G. Pulcini, P. Ruet, Permutative logic, in: CSL, pp. 184–199.
2. Zsyntax: A formal language for molecular biology with projected applications in text mining and biological prediction;Boniolo;PLoS ONE,2010
3. K. Chauduri, J. Despeyroux, A Hybrid linear logic for constrained transition systems with applications to molecular biology, Technical Report, INRIA-HAL, 2010. Available at http://www-sop.inria.fr/members/Joelle.Despeyroux/papers/hyll_report.pdf.
4. Tableau methods for substructural logics;DʼAgostino,1999
5. Formal molecular biology;Danos;Theoret. Comput. Sci.,2004