A. J. Andreoli, C. S. Borghoff-u, P. R. Et, and T. G. , Agent Based Decision Support for Managing Print Tasks, Proceedings of the PAAM'98, 1998.

B. F. Et and N. T. , Term Rewriting and all That, 1998.

. P. Borovanský, . Kirchner-c, and K. H. Et, Controlling Rewriting by Rewriting, Proceedings of the first international workshop on rewriting logic Electronic Notes in Theoretical Computer Science, 1996.
DOI : 10.1016/S1571-0661(04)00039-8

. P. Borovanský, . Kirchner-c, and K. H. Et, « A functional view of rewriting and strategies for a semantics of ELAN, The Third Fuji International Symposium on Functional and Logic Programming, pp.143-167, 1998.

. Castro-c, « Une approche déductive de la résolution de problèmes de satisfaction de contraintes, 1998.

. Castro-c, « Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies », Fundamenta Informaticae, vol.34, pp.263-293, 1998.

C. H. Et, K. C. Dershowitz, J. Et, . Kirchner-h, and V. M. Et, Theorem proving using computational systems: The case of the B Predicate prover « Handbook of Theoretical Computer Science Chapitre 6: Rewrite Systems Also as: Research report 478 Designing Constraint Logic Programming Languages using Computational Systems, PredicateProver.ps, 1997. [DER 90] Principles and Practice of Constraint Programming, pp.244-320, 1990.

. Kirchner-h and M. Et, Prototyping completion with constraints using computational systems, Proceedings 6th Conference on Rewriting Techniques and Applications, pp.438-443, 1995.
DOI : 10.1007/3-540-59200-8_79

. P. Klint, A meta-environment for generating programming environments, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.176-201, 1993.
DOI : 10.1145/151257.151260

. J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F