@techreport(DFKI-TM-95-01,
 author       = "Martin Buchheit and R{\"u}diger Klein and Werner Nutt",
 year         = "1995",
 title        = "Constructive Problem Solving: {A} Model Construction Approach towards Configuration",
 type         = "Technical Report",
 number       = "TM-95-01",
 institution  = "DFKI",
 url          = "ftp://ftp.dfki.uni-kl.de/pub/Publications/TechnicalMemos/1995/TM-95-01.ps.gz",
)
@book(Enderton,
 author       = "H.~B. Enderton",
 year         = "1972",
 title        = "A Mathematical Introduction to Logic",
 publisher    = "Academic Press",
)
@article(falkner:uml2,
 author       = "Andreas Falkner and Ingo Feinerer and Gernot Salzer and Gottfried Schenner",
 year         = "2010",
 title        = "Computing Product Configurations via {UML} and Integer Linear Programming",
 journal      = "Journal of Mass Customisation",
 volume       = "3",
 number       = "4",
 pages        = "351--367",
 doi          = "10.1504/IJMASSC.2010.037650",
)
@inproceedings(FriedrichStumptnerConfWS99,
 author       = "Gerhard Friedrich and Markus Stumptner",
 year         = "1999",
 title        = "Consistency-Based Configuration",
 booktitle    = "Configuration Workshop at AAAI'99",
)
@inproceedings(gottlob:conditional,
 author       = "Georg Gottlob and Gianluigi Greco and Toni Mancini",
 year         = "2007",
 title        = "Conditional Constraint Satisfaction: Logical Foundations and Complexity",
 booktitle    = "IJCAI'07",
)
@incollection(junker:configuration,
 author       = "Ulrich Junker",
 year         = "2006",
 title        = "Configuration",
 editor       = "F.~Rossi and P.~van Beek and T.~Walsh",
 booktitle    = "Handbook of Constraint Programming",
 publisher    = "Elsevier",
 pages        = "837 -- 874",
)
@inproceedings(kolaitis:cqc_csp,
 author       = "Phokion~G. Kolaitis and Moshe~Y. Vardi",
 year         = "1998",
 title        = "Conjunctive-Query Containment and Constraint Satisfaction",
 booktitle    = "PODS'98",
 doi          = "10.1145/275487.275511",
)
@article(McguinnessW98,
 author       = "Deborah~L. McGuinness and Jon~R. Wright",
 year         = "1998",
 title        = "Conceptual modelling for configuration: {A} description logic-based approach",
 journal      = "AI EDAM",
 volume       = "12",
 number       = "4",
 pages        = "333--344",
 doi          = "10.1017/S089006049812406X",
)
@inproceedings(mittal:dcsp,
 author       = "S.~Mittal and B.~Falkenhainer",
 year         = "1990",
 title        = "Dynamic constraint satisfaction problems",
 booktitle    = "AAAI'90",
)
@inproceedings(mittal:generic_model,
 author       = "Sanjay Mittal and Felix Frayman",
 year         = "1989",
 title        = "Towards a Generic Model of Configuration Tasks",
 booktitle    = "IJCAI'89",
)
@inproceedings(sabin:composite,
 author       = "Daniel Sabin and Eugene~C. Freuder",
 year         = "1996",
 title        = "Configuration as Composite Constraint Satisfaction",
 booktitle    = "AIMRP'96",
)
@article(sabin:survey,
 author       = "Daniel Sabin and Rainer Weigel",
 year         = "1998",
 title        = "Product Configuration Frameworks - A Survey",
 journal      = "IEEE Intelligent Systems",
 volume       = "13",
 number       = "4",
 pages        = "42--49",
 doi          = "10.1109/5254.708432",
)
@article(stumptner:generative,
 author       = "M.~Stumptner and A.~Haselb\"{o}ck and G.~Friedrich",
 year         = "1998",
 title        = "Generative constraint-based configuration of large technical systems",
 journal      = "AI EDAM",
 volume       = "12",
 number       = "4",
 pages        = "307--320",
 doi          = "10.1017/S0890060498124046",
)
@inproceedings(thorstensen:capturing,
 author       = "Evgenij Thorstensen",
 year         = "2010",
 title        = "Capturing configuration",
 booktitle    = "Doctoral Program at CP'10",
)