Agent Based Decision Support for Managing Print Tasks, Proceedings of the PAAM'98, 1998. ,
Term Rewriting and all That, 1998. ,
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
« 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. ,
« Une approche déductive de la résolution de problèmes de satisfaction de contraintes, 1998. ,
« Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies », Fundamenta Informaticae, vol.34, pp.263-293, 1998. ,
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. ,
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
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
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