L. Albert, Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases, 1989.
DOI : 10.1007/3-540-52048-1_46
URL : https://hal.archives-ouvertes.fr/inria-00075548

D. Dumitru, M. Burdescu, and . Brezovan, Algorithms for high level petri nets simulation and rule-based systems, Acta Universitaris Cibiniensis, vol.XLIII, pp.33-39, 2001.

C. Bertolissi, P. Baldan, H. Cirstea, and C. Kirchner, A Rewriting Calculus for Cyclic Higher-order Term Graphs, Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004.
DOI : 10.1016/j.entcs.2005.01.034
URL : https://hal.archives-ouvertes.fr/inria-00100095

F. Baader and T. Nipkow, Term Rewriting and all That, 1998.

H. Cirstea, C. Kirchner, M. Moossen, and P. Moreau, Production systems and rete algorithm formalisation, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00099850

C. Santos, F. Filho, and G. Lisboa-ramalho, Jeops -the java embedded object production system, Lectures Notes in Artificial Intelligence, 1952.

H. Dubois-andhéì-ene and . Kirchner, Modelling planning problems with rules and strategies, 1999.

H. Dubois-andhéì-ene and . Kirchner, Rule based programming with constraints and strategies, ERCIM workshop on Constraints, 1999.

H. Dubois-andhéì-ene and . Kirchner, Objects, rules and strategies in ELAN, Proceedings of the second AMAST workshop on Algebraic Methods in Language Processing, 2000.

H. Dubois-andhéì-ene and . Kirchner, Rule Based Programming with Constraints and Strategies, New Trends in Constraints, Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, pp.274-297, 1999.

H. Dubois, Systèmes de r` egles de production et calcul de réécriture, 2001.

P. Dufresne, Contribution algorithmique a l'inference par regles de production, 1984.

G. [. Fages and . Huet, Complete sets of unifiers and matchers in equational theories, Theoretical Computer Science, vol.43, issue.1, pp.189-200, 1986.
DOI : 10.1016/0304-3975(86)90175-1

F. Fages and R. Lissajoux, Systèmes experts temps-réel: une introduction au langage xrete. Revue Technique Thomson-CSF, pp.23-3633, 1991.

F. Fages and R. Lissajoux, Sémantique opérationnelle et compilation des systèmes de production. Revue d'intelligence artificielle, pp.6-4431, 1992.

[. Forgy, A network fast routine for production systems. Working paper, 1974.

[. Forgy, Ops5 user's manual, 1981.

[. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982.
DOI : 10.1016/0004-3702(82)90020-0

T. Frühwirthfr¨frühwirth, Theory and practice of constraint handling rules. Special Issue on Constraint Logic Programming, pp.98-135, 1998.

H. Jean and . Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving, Computer Science and Technology Series. Harper & Row, vol.5, 1986.

T. Ishida, An optimization algorithm for production systems, IEEE Transactions on Knowledge and Data Engineering, vol.6, issue.4, pp.6-4549, 1994.
DOI : 10.1109/69.298172

[. Klay, E. Domenjoud, and C. Kirchner, Vérification sémantique de spécifications métallurgiques, Inria Lorraine & Crin, 1993.

C. Kirchner-andhéì-ene and . Kirchner, Rewriting, solving, proving. A preliminary version of a book available at www, 1999.

T. Laffey and A. Gupta, Real-time knownledge-based systems, 1989.

[. Lopez, The Parallel Production System, 1987.

D. Miranker, D. Brant, B. Lofaso, and D. Gadbois, On the performance of lazy matching in production systems, Knowledge Presentation, pp.685-692, 1990.

D. Miranker, Treat: a new and efficient match algorithme for AI production systems, 1990.

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern-Matching Compiler, 1st International Workshop on Language Descriptions, Tools and Applications, 2001.
DOI : 10.1016/S1571-0661(04)80926-5
URL : https://hal.archives-ouvertes.fr/inria-00100437

S. A. Ilog, Ilog jrules 4.6 technical white paper, 2004.

W. Snyder and J. Schmolze, Rewrite semantics for production rule systems: Theory and applications, Proceedings 13th International Conference on Automated Deduction, pp.508-522, 1996.
DOI : 10.1007/3-540-61511-3_110

M. Bezem, J. W. Klop, and R. De-vrijer, Term Rewriting Systems, 2002.

P. Théret, De l'efficacité des systèms de r` egles de production, 1990.

P. Théret, De l'efficacité des interpréteurs de systèms de r` egles de production dans les systèmessystèmes`systèmesà base de connaissances, 1994.

M. Tambe and P. Rosenbloom, Eliminating expensive chunks by restricting expressiveness, Proceedings of the International Joint Conference on Artificial Intelligence, pp.431-456, 1989.