A. Stephen and . Cook, The complexity of theorem-proving procedures, STOC, p.151158, 1971.

M. Estratat and L. Henocque, Parsing languages with a congurator, Proceedings of the European Conference for Articial Intelligence ECAI, p.591595, 2004.

A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, Conguration knowledge representation using uml/ocl, UML, p.4962, 2002.
DOI : 10.1007/3-540-45800-x_5

D. Jackson, Automating rst-order relational logic, SIGSOFT FSE, pp.130-139, 2000.
DOI : 10.1145/355045.355063

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8507

F. Jouault and J. Bézivin, KM3: A DSL for Metamodel Specification, FMOODS, p.171185, 2006.
DOI : 10.1007/11663430_18

URL : https://hal.archives-ouvertes.fr/hal-00448119

F. Jouault, J. Bézivin, and I. Kurtev, TCS:, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, p.249254, 2006.
DOI : 10.1145/1173706.1173744

F. Jouault and I. Kurtev, Transforming Models with ATL, MoDELS Satellite Events, p.128138, 2005.
DOI : 10.1007/11663430_14

URL : https://hal.archives-ouvertes.fr/hal-00448120

U. Junker, Conguration, volume Handbook of Constraint Programming, chapter 26, 2006.

U. Junker and D. Mailharro, The logic of (j)congurator : Combining constraint programming with a description logic, IJCAI'03, 2003.

M. Kleiner, P. Albert, and J. Bezivin, Parsing SBVR-Based Controlled Languages, Models'09, 2009.
DOI : 10.1145/1321631.1321737

URL : https://hal.archives-ouvertes.fr/hal-00782389

D. Mailharro, A classication and constraint-based framework for conguration

S. Mittal and B. Falkenhainer, Dynamic constraint satisfaction problems, Proceedings of AAAI-90, p.2532, 1990.

D. Sabin and E. C. Freuder, Composite constraint satisfaction, AI and Manufacturing Research Planning Workshop, p.153161, 1996.

T. Soininen, I. Niemela, J. Tiihonen, and R. Sulonen, Representing conguration knowledge with weight constraint rules, Proceedings of the AAAI Spring Symp. on Answer Set Programming, 2001.

M. Stumptner, An overview of knowledge-based conguration, p.111125, 1997.

M. Stumptner and A. Haselböck, A generative constraint formalism for conguration problems, Advances in Articial Intelligence: Proceedings of AI*IA'93, p.302313, 1993.

I. Unité-de-recherche and I. Rennes, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399