H. B. Enderton (1972):
A Mathematical Introduction to Logic.
Academic Press.
Andreas Falkner, Ingo Feinerer, Gernot Salzer & Gottfried Schenner (2010):
Computing Product Configurations via UML and Integer Linear Programming.
Journal of Mass Customisation 3(4),
pp. 351–367,
doi:10.1504/IJMASSC.2010.037650.
Gerhard Friedrich & Markus Stumptner (1999):
Consistency-Based Configuration.
In: Configuration Workshop at AAAI'99.
Georg Gottlob, Gianluigi Greco & Toni Mancini (2007):
Conditional Constraint Satisfaction: Logical Foundations and Complexity.
In: IJCAI'07.
Ulrich Junker (2006):
Configuration.
In: F. Rossi, P. van Beek & T. Walsh: Handbook of Constraint Programming.
Elsevier,
pp. 837 – 874.
Phokion G. Kolaitis & Moshe Y. Vardi (1998):
Conjunctive-Query Containment and Constraint Satisfaction.
In: PODS'98,
doi:10.1145/275487.275511.
Deborah L. McGuinness & Jon R. Wright (1998):
Conceptual modelling for configuration: A description logic-based approach.
AI EDAM 12(4),
pp. 333–344,
doi:10.1017/S089006049812406X.
S. Mittal & B. Falkenhainer (1990):
Dynamic constraint satisfaction problems.
In: AAAI'90.
Sanjay Mittal & Felix Frayman (1989):
Towards a Generic Model of Configuration Tasks.
In: IJCAI'89.
Daniel Sabin & Eugene C. Freuder (1996):
Configuration as Composite Constraint Satisfaction.
In: AIMRP'96.
Daniel Sabin & Rainer Weigel (1998):
Product Configuration Frameworks - A Survey.
IEEE Intelligent Systems 13(4),
pp. 42–49,
doi:10.1109/5254.708432.
M. Stumptner, A. Haselböck & G. Friedrich (1998):
Generative constraint-based configuration of large technical systems.
AI EDAM 12(4),
pp. 307–320,
doi:10.1017/S0890060498124046.
Evgenij Thorstensen (2010):
Capturing configuration.
In: Doctoral Program at CP'10.
eptcs@eptcs.org