@article(fahakrscscta20a,
 author       = {A. Falkner and A. Haselb{\"o}ck and G. Krames and G. Schenner and H. Schreiner and R. Taupe},
 year         = {2020},
 title        = {Solver Requirements for Interactive Configuration.},
 journal      = {Journal of Universal Computer Science},
 volume       = {26},
 number       = {3},
 pages        = {343--373},
)
@inproceedings(faryscsh15a,
 author       = {A. Falkner and A. Ryabokon and G. Schenner and K. Shchekotykhin},
 year         = {2015},
 title        = {{OOASP:} Connecting Object-Oriented and Logic Programming},
 editor       = {F. Calimeri and G. Ianni and M. Truszczy{\'n}ski},
 booktitle    = {Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15)},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {9345},
 publisher    = {Springer-Verlag},
 pages        = {332--345},
 doi          = {10.1007/978-3-319-23264-5\_28},
)
@incollection(falsch14a,
 author       = {A. Falkner and H. Schreiner},
 year         = {2014},
 title        = {{SIEMENS}: Configuration and Reconfiguration in Industry},
 editor       = {Felfernig},
 chapter      = {16},
 pages        = {199--210},
 doi          = {10.1016/b978-0-12-415817-7.00016-5},
)
@inproceedings(fefaateruraz17a,
 author       = {A. Felfernig and A. Falkner and M. Atas and S. Erdeniz and C. Uran and P. Azzoni},
 year         = {2017},
 title        = {{ASP}-based Knowledge Representations for IoT Configuration Scenarios},
 editor       = {L. Zhang and A. Haag},
 booktitle    = {Proceedings of the Nineteenth International Configuration Workshop (CONF'17)},
 pages        = {62--67},
)
@article(fefrjastza03a,
 author       = {A. Felfernig and G. Friedrich and D. Jannach and M. Stumptner and M. Zanker},
 year         = {2003},
 title        = {Configuration knowledge representations for Semantic Web applications},
 journal      = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
 volume       = {17},
 number       = {1},
 pages        = {31--50},
 doi          = {10.1017/s0890060403171041},
)
@book(kbc14,
 editor       = {A. Felfernig and L. Hotz and C. Bagley and J. Tiihonen},
 year         = {2014},
 title        = {Knowledge-Based Configuration: From Research to Business Cases},
 publisher    = {Elsevier/Morgan Kaufmann},
 doi          = {10.1016/b978-0-12-415817-7.00029-3},
)
@inproceedings(gekakasc14b,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub},
 year         = {2014},
 title        = {\textit{Clingo} = {ASP} + Control: Preliminary Report},
 editor       = {M. Leuschel and T. Schrijvers},
 booktitle    = {Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14)},
 series       = {Theory and Practice of Logic Programming, Online Supplement},
 volume       = {14(4-5)},
 url          = {http://arxiv.org/abs/1405.3694v1},
)
@inproceedings(gekasc11c,
 author       = {M. Gebser and R. Kaminski and T. Schaub},
 year         = {2011},
 title        = {aspcud: A {L}inux Package Configuration Tool Based on Answer Set Programming},
 editor       = {C. Drescher and I. Lynce and R. Treinen},
 booktitle    = {Proceedings of the Second International Workshop on Logics for Component Configuration (LoCoCo'11)},
 series       = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
 volume       = {65},
 pages        = {12--25},
 doi          = {10.4204/eptcs.65.2},
)
@inproceedings(gellif88b,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {R. Kowalski and K. Bowen},
 booktitle    = {Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88)},
 publisher    = {MIT Press},
 pages        = {1070--1080},
 doi          = {10.1201/b10397-6},
)
@article(hedajade17a,
 author       = {P. Hertum and I. Dasseville and G. Janssens and M. Denecker},
 year         = {2017},
 title        = {The {KB} paradigm and its application to interactive configuration},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {17},
 number       = {1},
 pages        = {91--117},
 doi          = {10.1007/978-3-319-28228-2\_2},
)
@incollection(hofestrybawo14a,
 author       = {L. Hotz and A. Felfernig and M. Stumptner and A. Ryabokon and C. Bagley and K. Wolter},
 year         = {2014},
 title        = {Configuration Knowledge Representation and Reasoning},
 editor       = {Felfernig},
 chapter      = {6},
 pages        = {41--72},
 doi          = {10.1016/b978-0-12-415817-7.00006-2},
)
@inproceedings(junker04a,
 author       = {U. Junker},
 year         = {2004},
 title        = {{QUICKXPLAIN:} Preferred Explanations and Relaxations for Over-Constrained Problems},
 editor       = {D. McGuinness and G. Ferguson},
 booktitle    = {Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI'04)},
 publisher    = {AAAI Press},
 pages        = {167--172},
)
@article(mailharro98a,
 author       = {D. Mailharro},
 year         = {1998},
 title        = {A classification and constraint-based framework for configuration},
 journal      = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
 volume       = {12},
 number       = {4},
 pages        = {383--397},
 doi          = {10.1017/s0890060498124101},
)
@article(mcdermott82b,
 author       = {J. McDermott},
 year         = {1982},
 title        = {{R1:} {A} Rule-Based Configurer of Computer Systems},
 journal      = {Artificial Intelligence},
 volume       = {19},
 number       = {1},
 pages        = {39--88},
 doi          = {10.1016/0004-3702(82)90021-2},
)
@inproceedings(mitfal90a,
 author       = {S. Mittal and B. Falkenhainer},
 year         = {1990},
 title        = {Dynamic Constraint Satisfaction Problems},
 editor       = {H. Shrobe and T. Dietterich and W. Swartout},
 booktitle    = {Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90)},
 publisher    = {AAAI Press},
 pages        = {25--32},
)
@inproceedings(mitfra89a,
 author       = {S. Mittal and F. Frayman},
 year         = {1989},
 title        = {Towards a Generic Model of Configuraton Tasks},
 editor       = {N. Sridharan},
 booktitle    = {Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89)},
 publisher    = {Morgan Kaufmann Publishers},
 pages        = {1395--1401},
)
@inproceedings(mytirafe14a,
 author       = {V. Myll{\"a}rniemi and J. Tiihonen and M. Raatikainen and A. Felfernig},
 year         = {2014},
 title        = {Using Answer Set Programming for Feature Model Representation and Configuration},
 editor       = {A. Felfernig and C. Forza and A. Haag},
 booktitle    = {Proceedings of the Sixteenth International Configuration Workshop (CONF'14)},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1220},
 publisher    = {CEUR-WS.org},
 pages        = {1--8},
)
@incollection(orsben14a,
 author       = {K. Orsv{\"a}rn and H. Bennick},
 year         = {2014},
 title        = {{Tacton}: Use of Tacton Configurator at {FLSmidth}},
 editor       = {Felfernig},
 chapter      = {17},
 pages        = {211--218},
 doi          = {10.1016/b978-0-12-415817-7.00017-7},
)
@inproceedings(soinie99a,
 author       = {T. Soininen and I. Niemel{\"a}},
 year         = {1999},
 title        = {Developing a declarative rule language for applications in product configuration},
 editor       = {G. Gupta},
 booktitle    = {Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL'99)},
 series       = {Lecture Notes in Computer Science},
 volume       = {1551},
 publisher    = {Springer-Verlag},
 pages        = {305--319},
 doi          = {10.1007/3-540-49201-1\_21},
)
@inproceedings(sonitisu01a,
 author       = {T. Soininen and I. Niemel{\"a} and J. Tiihonen and R. Sulonen},
 year         = {2001},
 title        = {Representing Configuration Knowledge With Weight Constraint Rules.},
 editor       = {A. Provetti and T. Son},
 booktitle    = {Proceedings of the AAAI Spring Symposium on Answer Set Programming (ASP'01)},
 publisher    = {{AAAI/MIT} Press},
 pages        = {195--201},
)
@article(sotimasu98a,
 author       = {T. Soininen and J. Tiihonen and T. M{\"a}nnist{\"o} and R. Sulonen},
 year         = {1998},
 title        = {Towards a general ontology of configuration},
 journal      = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
 volume       = {12},
 number       = {4},
 pages        = {357--372},
 doi          = {10.1017/s0890060498124083},
)
@article(stfrha98a,
 author       = {M. Stumptner and G. Friedrich and A. Haselb{\"o}ck},
 year         = {1998},
 title        = {Generative constraint-based configuration of large technical systems},
 journal      = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
 volume       = {12},
 number       = {4},
 pages        = {307--320},
 doi          = {10.1017/s0890060498124046},
)
@article(tiheanso13a,
 author       = {J. Tiihonen and M. Heiskala and A. Anderson and T. Soininen},
 year         = {2013},
 title        = {WeCoTin - {A} practical logic-based sales configurator},
 journal      = {{AI} Communications},
 volume       = {26},
 number       = {1},
 pages        = {99--131},
 doi          = {10.3233/aic-2012-0547},
)
@inproceedings(tisonisu03a,
 author       = {J. Tiihonen and T. Soininen and I. Niemel{\"a} and R. Sulonen},
 year         = {2003},
 title        = {A Practical Tool for Mass-Customising Configurable Products},
 editor       = {A. Folkeson and K. Gralen and M. Norell and U. Sellgren},
 booktitle    = {Proceedings of the Fourteenth International Conference on Engineering Design (ICED'03)},
 publisher    = {Design Society (DS)},
 pages        = {1290--1299},
)
@article(zhang14a,
 author       = {L. Zhang},
 year         = {2014},
 title        = {Product configuration: a review of the state-of-the art and future research},
 journal      = {International Journal of Production Research},
 volume       = {52},
 number       = {21},
 pages        = {6381--6398},
 doi          = {10.1080/00207543.2014.942012},
)