O. Andrei, Term graph and chemical rewriting, Internship report, 2005.

E. S. Blurock, Reaction: System for Modeling Chemical Reactions, Journal of Chemical Information and Modeling, vol.35, issue.3, pp.607-616, 1995.
DOI : 10.1021/ci00025a032

P. Borovansk´yborovansk´y, C. Kirchner, H. Kirchner, P. Moreau, and C. Ringeissen, An Overview of ELAN Electronic Notes in Theoretical Computer Science, Proceedings of the Second International Workshop on Rewriting Logic and Applications, 1998.

O. Bournez, G. Côme, V. Conraud, H. Kirchner, and L. Ib?, A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms, Proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, pp.30-45, 2003.
DOI : 10.1007/3-540-44881-0_4
URL : https://hal.archives-ouvertes.fr/inria-00099621

O. Bournez, L. Ibanescu, and H. Kirchner, From Chemical Rules to Term Rewriting, 6th International Workshop on Rule-Based Programming, 2005.
DOI : 10.1016/j.entcs.2005.06.040
URL : https://hal.archives-ouvertes.fr/inria-00000521

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, pp.187-243, 2002.
DOI : 10.1016/S0304-3975(01)00359-0

G. Côme, Gas-Phase Thermal Reactions. Chemical Engineering Kinetics, 2001.

R. Diaconescu and K. Futatsugi, An Overview of CafeOBJ, Electronic Notes in Theoretical Computer Science, 2000.
DOI : 10.1016/S1571-0661(05)80017-9

J. Dugundji and I. Ugi, An algebraic model of constitutional chemistry as a basis for chemical computer programs, Topics in Current Chemistry, vol.39, pp.19-64, 1973.
DOI : 10.1007/BFb0051317

J. Faeder, M. Blinov, and W. Hlavacek, Graphical rule-based representation of signal-transduction networks, Proceedings of the 2005 ACM symposium on Applied computing , SAC '05, pp.133-140, 2005.
DOI : 10.1145/1066677.1066712

J. M. Grenda, I. Androulakis, A. M. Dean, and W. H. Green, Application of Computational Kinetic Mechanism Generation to Model the Autocatalytic Pyrolysis of Methane, Industrial & Engineering Chemistry Research, vol.42, issue.5, pp.1000-1010, 2003.
DOI : 10.1021/ie020581w

J. Guyon, P. Moreau, and A. Reilles, An Integrated Development Environment for Pattern Matching Programming, Proceedings of the 2nd eclipse Technology eXchange workshop Barcelona (Spain) Electronic Notes in Theoretical Computer Sci- ence, 2004.
DOI : 10.1016/j.entcs.2004.02.045
URL : https://hal.archives-ouvertes.fr/inria-00100026

L. Ibanescu, Programmation par r` egles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques, Thèse de Doctorat d'Université, Institut National Polytechnique de Lorraine, 2004.

C. Kirchner and H. Kirchner, Rewriting, solving, proving. A preliminary version of a book available at www, 1999.

C. Kirchner and H. Kirchner, Rule-Based Programming and Proving: The ELAN Experience Outcomes, Proceedings of the Ninth Asian Computing Science Conference ASIAN'04, pp.363-379, 2004.
DOI : 10.1007/978-3-540-30502-6_27
URL : https://hal.archives-ouvertes.fr/inria-00107801

C. Kirchner, P. Moreau, and A. Reilles, Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.187-197, 2005.
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701

H. Kirchner and P. Moreau, Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, vol.11, issue.2, pp.207-251, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100926

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

E. Ranzi, T. Faravelli, P. Gaffuri, and A. Sogaro, Low-temperature combustion: Automatic generation of primary oxidation reactions and lumping procedures, Combustion and Flame, vol.102, issue.1-2, pp.179-192, 1995.
DOI : 10.1016/0010-2180(94)00253-O

F. Roselló and G. Valiente, Analysis of Metabolic Pathways by Graph Transformation, 2nd International Conference on Graph Transformation -ICGT'04, pp.70-82, 2004.
DOI : 10.1007/978-3-540-30203-2_7

A. S. Tomlin, T. Turányi, and M. J. Pilling, Chapter 4 Mathematical tools for the construction, investigation and reduction of combustion mechanisms, Comprehensive Chemical Kinetics, chapter, vol.35, pp.293-437, 1997.
DOI : 10.1016/S0069-8040(97)80019-2

M. Van-den-brand, A. Van-deursen, J. Heering, H. A. De-jong, M. De-jonge et al., The Asf+Sdf Meta-environment: A Component-Based Language Development Environment, Computational Complexity, pp.365-370, 2001.
DOI : 10.1007/3-540-45306-7_26

M. G. Van-den-brand, H. A. De-jong, and P. Olivier, Efficient annotated terms, SEN-R0003, 2000.
DOI : 10.1002/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y

E. Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, Rewriting Techniques and Applications (RTA'01), volume 2051 of Lecture Notes in Computer Science, pp.357-361, 2001.
DOI : 10.1007/3-540-45127-7_27

E. Visser, Z. Benaissa, and A. Tolmach, Building program optimizers with rewriting strategies, Proceedings of the International Conference on Functional Programming (ICFP'98), pp.13-26, 1999.
DOI : 10.1145/291251.289425

J. Visser, Visitor combination and traversal control, ACM Conference on Object- Oriented Programming, Systems, Languages, and Applications -OOPSLA'01 ACM SIGPLAN Notices, pp.270-282, 2001.

V. Warth, F. Battin-leclerc, R. Fournet, P. Glaude, G. Côme et al., Computer based generation of reaction mechanisms for gas-phase oxidation, Computers & Chemistry, vol.24, issue.5, pp.541-560, 2000.
DOI : 10.1016/S0097-8485(99)00092-3

D. Weininger, A. Weininger, and J. L. Weininger, SMILES. 2. Algorithm for generation of unique SMILES notation, Journal of Chemical Information and Modeling, vol.29, issue.2, pp.97-101, 1989.
DOI : 10.1021/ci00062a008

M. J. Witt, D. D. Dooling, and L. J. Broadbelt, Computer Generation of Reaction Mechanisms Using Quantitative Rate Information:?? Application to Long-Chain Hydrocarbon Pyrolysis, Industrial & Engineering Chemistry Research, vol.39, issue.7, pp.2228-2237, 2000.
DOI : 10.1021/ie990608k