@article(DBLP:journals/ki/AdrianACCDFFLMP18,
 author       = {W.T. Adrian and M. Alviano and F. Calimeri and B. Cuteri and C. Dodaro and W. Faber and D. Fusc{\`{a}} and N. Leone and M. Manna and S. Perri and F. Ricca and P. Veltri and J. Zangari},
 year         = {2018},
 title        = {The {ASP} System {DLV:} Advancements and Applications},
 journal      = {{KI}},
 volume       = {32},
 number       = {2-3},
 pages        = {177--179},
 doi          = {10.1007/s13218-018-0533-0},
)
@inproceedings(DBLP:conf/lpnmr/AlvianoCDFLPRVZ17,
 author       = {M. Alviano and F. Calimeri and C. Dodaro and D. Fusc{\`{a}} and N. Leone and S. Perri and F. Ricca and P. Veltri and J. Zangari},
 year         = {2017},
 title        = {The {ASP} System {DLV2}},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {215--221},
 doi          = {10.1007/978-3-319-61660-5\_19},
)
@inproceedings(DBLP:conf/cpaior/AschingerDFGJRT11,
 author       = {M. Aschinger and C. Drescher and G. Friedrich and G. Gottlob and P. Jeavons and A. Ryabokon and E. Thorstensen},
 year         = {2011},
 title        = {Optimization Methods for the Partner Units Problem},
 booktitle    = {{CPAIOR}},
 series       = {LNCS},
 volume       = {6697},
 publisher    = {Springer},
 pages        = {4--19},
 doi          = {10.1007/978-3-642-21311-3\_4},
)
@misc(aspcore2,
 author       = {{ASP Standardization Working Group}},
 year         = {2012},
 title        = {{ASP-Core-2 Input Language Format}},
 url          = {https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03b.pdf},
)
@book(aspbook-baral,
 author       = {C. Baral},
 year         = {2003},
 title        = {{Knowledge Representation, Reasoning and Declarative Problem Solving}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511543357},
)
@inproceedings(DBLP:conf/ijcai/BogaertsW18,
 author       = {B. Bogaerts and A. Weinzierl},
 year         = {2018},
 title        = {Exploiting Justifications for Lazy Grounding of Answer Set Programs},
 booktitle    = {{IJCAI}},
 pages        = {1737--1745},
 doi          = {10.24963/ijcai.2018/240},
)
@article(DBLP:journals/ia/CalimeriFPZ17,
 author       = {F. Calimeri and D. Fusc{\`{a}} and S. Perri and J. Zangari},
 year         = {2017},
 title        = {{I-DLV:} The new intelligent grounder of {DLV}},
 journal      = {Intelligenza Artificiale},
 volume       = {11},
 number       = {1},
 pages        = {5--20},
 doi          = {10.3233/IA-170104},
)
@article(DBLP:journals/ai/CalimeriGMR16,
 author       = {F. Calimeri and M. Gebser and M. Maratea and F. Ricca},
 year         = {2016},
 title        = {Design and results of the Fifth Answer Set Programming Competition},
 journal      = {Artif. Intell.},
 volume       = {231},
 pages        = {151--181},
 doi          = {10.1016/j.artint.2015.09.008},
)
@inproceedings(DBLP:conf/jelia/Dao-TranEFWW12,
 author       = {Dao{-}Tran, M. and T. Eiter and M. Fink and G. Weidinger and A. Weinzierl},
 year         = {2012},
 title        = {OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver},
 booktitle    = {{JELIA}},
 series       = {LNCS},
 volume       = {7519},
 publisher    = {Springer},
 pages        = {480--483},
 doi          = {10.1007/978-3-642-33353-8\_38},
)
@article(DBLP:journals/tplp/DodaroGLMRS16,
 author       = {C. Dodaro and P. Gasteiger and N. Leone and B. Musitsch and F. Ricca and K. Schekotihin},
 year         = {2016},
 title        = {Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)},
 journal      = {{TPLP}},
 volume       = {16},
 number       = {5-6},
 pages        = {653--669},
 doi          = {10.1017/S1471068416000284},
)
@article(DBLP:journals/tplp/DurzinskyMOSW11,
 author       = {M. Durzinsky and W. Marwan and M. Ostrowski and T. Schaub and A. Wagler},
 year         = {2011},
 title        = {Automatic network reconstruction using {ASP}},
 journal      = {{TPLP}},
 volume       = {11},
 number       = {4-5},
 pages        = {749--766},
 doi          = {10.1017/S1471068411000287},
)
@article(DBLP:journals/amai/EiterFFW07,
 author       = {T. Eiter and W. Faber and M. Fink and S. Woltran},
 year         = {2007},
 title        = {Complexity results for answer set programming with bounded predicate arities and implications},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {51},
 number       = {2-4},
 pages        = {123--165},
 doi          = {10.1007/s10472-008-9086-5},
)
@article(DBLP:journals/ai/EiterFLPP03,
 author       = {T. Eiter and W. Faber and N. Leone and G. Pfeifer and A. Polleres},
 year         = {2003},
 title        = {A logic programming approach to knowledge-state planning, {II:} The DLV${}^{\unhbox\voidb@x \hbox{K}}$ system},
 journal      = {Artif. Intell.},
 volume       = {144},
 number       = {1-2},
 pages        = {157--211},
 doi          = {10.1016/S0004-3702(02)00367-3},
)
@article(DBLP:journals/aim/ErdemGL16,
 author       = {E. Erdem and M. Gelfond and N. Leone},
 year         = {2016},
 title        = {Applications of Answer Set Programming},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {3},
 pages        = {53--68},
 doi          = {10.1609/aimag.v37i3.2678},
)
@article(DBLP:journals/ai/FaberPL11,
 author       = {W. Faber and G. Pfeifer and N. Leone},
 year         = {2011},
 title        = {Semantics and complexity of recursive aggregates in answer set programming},
 journal      = {Artif. Intell.},
 volume       = {175},
 number       = {1},
 pages        = {278--298},
 doi          = {10.1016/j.artint.2010.04.002},
)
@article(DBLP:journals/aim/FalknerFHSS16,
 author       = {A.A. Falkner and G. Friedrich and A. Haselb{\"{o}}ck and G. Schenner and H. Schreiner},
 year         = {2016},
 title        = {Twenty-Five Years of Successful Application of Constraint Technologies at {Siemens}},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {4},
 pages        = {67--80},
 doi          = {10.1609/aimag.v37i4.2688},
)
@article(DBLP:journals/ki/FalknerFSTT18,
 author       = {A.A. Falkner and G. Friedrich and K. Schekotihin and R. Taupe and E.C. Teppan},
 year         = {2018},
 title        = {Industrial Applications of Answer Set Programming},
 journal      = {{KI}},
 volume       = {32},
 number       = {2-3},
 pages        = {165--176},
 doi          = {10.1007/s13218-018-0548-6},
)
@article(DBLP:journals/tocl/Ferraris11,
 author       = {P. Ferraris},
 year         = {2011},
 title        = {Logic programs with propositional connectives and aggregates},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {12},
 number       = {4},
 pages        = {25:1--25:40},
 doi          = {10.1145/1970398.1970401},
)
@inproceedings(DBLP:conf/confws/FriedrichRFHSS11,
 author       = {G. Friedrich and A. Ryabokon and A.A. Falkner and A. Haselb{\"{o}}ck and G. Schenner and H. Schreiner},
 year         = {2011},
 title        = {(Re)configuration using Answer Set Programming},
 booktitle    = {{IJCAI} 2011 Workshop on Configuration},
)
@manual(potasscoguide,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and M. Lindauer and M. Ostrowski and J. Romero and T. Schaub and S. Thiele and P. Wanko},
 year         = {2019},
 title        = {Potassco guide version 2.2.0},
 url          = {https://github.com/potassco/guide/releases/tag/v2.2.0},
)
@book(Gebser.2012,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub},
 year         = {2012},
 title        = {{Answer Set Solving in Practice}},
 publisher    = {{Morgan and Claypool Publishers}},
 doi          = {10.2200/S00457ED1V01Y201211AIM019},
)
@article(DBLP:journals/corr/GebserKKS14,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub},
 year         = {2014},
 title        = {Clingo = {ASP} + Control: Preliminary Report},
 journal      = {CoRR},
 volume       = {abs/1405.3694},
)
@inproceedings(DBLP:conf/lpnmr/GebserKKS11,
 author       = {M. Gebser and R. Kaminski and A. K{\"{o}}nig and T. Schaub},
 year         = {2011},
 title        = {Advances in \emph{gringo} Series 3},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {6645},
 publisher    = {Springer},
 pages        = {345--351},
 doi          = {10.1007/978-3-642-20895-9\_39},
)
@inproceedings(DBLP:conf/aaai/GebserKROSW13,
 author       = {M. Gebser and B. Kaufmann and J. Romero and R. Otero and T. Schaub and P. Wanko},
 year         = {2013},
 title        = {Domain-Specific Heuristics in Answer Set Programming},
 booktitle    = {{AAAI}},
 publisher    = {{AAAI} Press},
)
@article(DBLP:journals/ai/GebserKS12,
 author       = {M. Gebser and B. Kaufmann and T. Schaub},
 year         = {2012},
 title        = {Conflict-driven answer set solving: From theory to practice},
 journal      = {Artif. Intell.},
 volume       = {187},
 pages        = {52--89},
 doi          = {10.1016/j.artint.2012.04.001},
)
@inproceedings(DBLP:conf/ijcai/GebserLMPRS18,
 author       = {M. Gebser and N. Leone and M. Maratea and S. Perri and F. Ricca and T. Schaub},
 year         = {2018},
 title        = {Evaluation Techniques and Systems for Answer Set Programming: a Survey},
 booktitle    = {{IJCAI} 2018},
 doi          = {10.24963/ijcai.2018/769},
)
@article(DBLP:journals/jair/GebserMR17,
 author       = {M. Gebser and M. Maratea and F. Ricca},
 year         = {2017},
 title        = {The Sixth Answer Set Programming Competition},
 journal      = {J. Artif. Intell. Res.},
 volume       = {60},
 pages        = {41--95},
 doi          = {10.1613/jair.5373},
)
@article(aspcomp2017,
 author       = {M. Gebser and M. Maratea and F. Ricca},
 year         = {2019},
 title        = {The Seventh Answer Set Programming Competition: Design and Results},
 journal      = {TPLP},
 pages        = {1\IeC{\textendash}29},
 doi          = {10.1017/S1471068419000061},
)
@inproceedings(DBLP:conf/lpnmr/GebserRS15,
 author       = {M. Gebser and A. Ryabokon and G. Schenner},
 year         = {2015},
 title        = {Combining Heuristics for Configuration Problems Using Answer Set Programming},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {9345},
 doi          = {10.1007/978-3-319-23264-5\_32},
)
@book(aspbook-gelfond,
 author       = {M. Gelfond and Y. Kahl},
 year         = {2014},
 title        = {Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach},
 doi          = {10.1017/CBO9781139342124},
)
@inproceedings(DBLP:conf/iclp/GelfondL88,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 booktitle    = {{ICLP/SLP}},
 publisher    = {{MIT} Press},
 pages        = {1070--1080},
)
@article(DBLP:journals/tplp/HoosLS14,
 author       = {H. Hoos and M.T. Lindauer and T. Schaub},
 year         = {2014},
 title        = {claspfolio 2: Advances in Algorithm Selection for Answer Set Programming},
 journal      = {{TPLP}},
 volume       = {14},
 number       = {4-5},
 pages        = {569--585},
 doi          = {10.1017/S1471068414000210},
)
@incollection(Hotz.2014b,
 author       = {L. Hotz and A. Felfernig and M. Stumptner and A. Ryabokon and C. Bagley and K. Wolter},
 year         = {2014},
 title        = {{Chapter 6 - Configuration Knowledge Representation and Reasoning}},
 booktitle    = {{Knowledge-Based Configuration}},
 publisher    = {{Morgan Kaufmann}},
 pages        = {41--72},
 doi          = {10.1016/B978-0-12-415817-7.00006-2},
)
@article(DBLP:journals/tplp/LefevreBSG17,
 author       = {C. Lef{\`{e}}vre and C. B{\'{e}}atrix and I. St{\'{e}}phan and L. Garcia},
 year         = {2017},
 title        = {ASPeRiX, a first-order forward chaining approach for answer set computing},
 journal      = {{TPLP}},
 volume       = {17},
 number       = {3},
 pages        = {266--310},
 doi          = {10.1017/S1471068416000569},
)
@article(DBLP:journals/tocl/LeonePFEGPS06,
 author       = {N. Leone and G. Pfeifer and W. Faber and T. Eiter and G. Gottlob and S. Perri and F. Scarcello},
 year         = {2006},
 title        = {The {DLV} system for knowledge representation and reasoning},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {7},
 number       = {3},
 pages        = {499--562},
 doi          = {10.1145/1149114.1149117},
)
@inproceedings(DBLP:conf/rweb/LeoneR15,
 author       = {N. Leone and F. Ricca},
 year         = {2015},
 title        = {Answer Set Programming: {A} Tour from the Basics to Advanced Development Tools and Industrial Applications},
 booktitle    = {Reasoning Web},
 series       = {LNCS},
 volume       = {9203},
 publisher    = {Springer},
 pages        = {308--326},
 doi          = {10.1007/978-3-319-21768-0\_10},
)
@inproceedings(DBLP:conf/inap/LeutgebW17,
 author       = {L. Leutgeb and A. Weinzierl},
 year         = {2017},
 title        = {Techniques for Efficient Lazy-Grounding {ASP} Solving},
 booktitle    = {{DECLARE}},
 series       = {LNCS},
 volume       = {10997},
 publisher    = {Springer},
 pages        = {132--148},
 doi          = {10.1007/978-3-030-00801-7\_9},
)
@inproceedings(DBLP:conf/birthday/Lifschitz10,
 author       = {V. Lifschitz},
 year         = {2010},
 title        = {Thirteen Definitions of a Stable Model},
 booktitle    = {Fields of Logic and Computation},
 series       = {LNCS},
 volume       = {6300},
 publisher    = {Springer},
 pages        = {488--503},
 doi          = {10.1007/978-3-642-15025-8\_24},
)
@inproceedings(DBLP:conf/aiia/MarateaPR15,
 author       = {M. Maratea and L. Pulina and F. Ricca},
 year         = {2015},
 title        = {Advances in Multi-engine {ASP} Solving},
 booktitle    = {{AI*IA} 2015},
 series       = {LNCS},
 volume       = {9336},
 publisher    = {Springer},
 pages        = {179--190},
 doi          = {10.1007/978-3-319-24309-2\_14},
)
@inproceedings(DBLP:conf/dac/MoskewiczMZZM01,
 author       = {M.W. Moskewicz and C.F. Madigan and Y. Zhao and L. Zhang and S. Malik},
 year         = {2001},
 title        = {Chaff: Engineering an Efficient {SAT} Solver},
 booktitle    = {{DAC}},
 publisher    = {{ACM}},
 pages        = {530--535},
 doi          = {10.1145/378239.379017},
)
@article(DBLP:journals/fuin/PaluDPR09,
 author       = {A.D. Pal{\`{u}} and A. Dovier and E. Pontelli and G. Rossi},
 year         = {2009},
 title        = {{GASP:} Answer Set Programming with Lazy Grounding},
 journal      = {Fundam. Inform.},
 volume       = {96},
 number       = {3},
 doi          = {10.3233/FI-2009-180},
)
@inproceedings(DBLP:conf/aiia/Redl16,
 author       = {C. Redl},
 year         = {2016},
 title        = {Automated Benchmarking of {KR}-systems},
 booktitle    = {RCRA@AI*IA},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1745},
 publisher    = {CEUR-WS.org},
 pages        = {45--56},
)
@article(DBLP:journals/tplp/RiccaGAMLIL12,
 author       = {F. Ricca and G. Grasso and M. Alviano and M. Manna and V. Lio and S. Iiritano and N. Leone},
 year         = {2012},
 title        = {Team-building with answer set programming in the {Gioia-Tauro} seaport},
 journal      = {{TPLP}},
 volume       = {12},
 number       = {3},
 pages        = {361--381},
 doi          = {10.1017/S147106841100007X},
)
@inproceedings(DBLP:conf/lpnmr/TaupeWF19,
 author       = {R. Taupe and A. Weinzierl and G. Friedrich},
 year         = {2019},
 title        = {Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on {ASP} Solving},
 booktitle    = {{LPNMR} 2019},
 series       = {LNCS},
 volume       = {11481},
 publisher    = {Springer},
 pages        = {298--311},
 doi          = {10.1007/978-3-030-20528-7\_22},
)
@inproceedings(alpha-heuristics-paoasp,
 author       = {R. Taupe and A. Weinzierl and G. Schenner},
 year         = {2017},
 title        = {{Introducing Heuristics for Lazy-Grounding ASP Solving}},
 booktitle    = {{1st International Workshop on Practical Aspects of Answer Set Programming}},
)
@inproceedings(teppan2016solving,
 author       = {E.C. Teppan},
 year         = {2016},
 title        = {Solving the partner units configuration problem with heuristic constraint answer set programming},
 booktitle    = {Configuration workshop},
 pages        = {61--68},
)
@inproceedings(DBLP:conf/lpnmr/Weinzierl17,
 author       = {A. Weinzierl},
 year         = {2017},
 title        = {Blending Lazy-Grounding and {CDNL} Search for Answer-Set Solving},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {191--204},
 doi          = {10.1007/978-3-319-61660-5\_17},
)