@inproceedings(bichler-2016,
 author       = {Manuel Bichler and Michael Morak and Stefan Woltran},
 year         = {2016},
 title        = {lpopt: {A} Rule Optimization Tool for Answer Set Programming},
 editor       = {Manuel~V. Hermenegildo and L{\'{o}}pez{-}Garc{\'{\i}}a, Pedro},
 booktitle    = {Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, {LOPSTR} 2016, Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {10184},
 publisher    = {Springer},
 pages        = {114--130},
 doi          = {10.1007/978-3-319-63139-4\_7},
)
@inproceedings(Buddenhagen-2015,
 author       = {Matthew Buddenhagen and Yuliya Lierler},
 year         = {2015},
 title        = {Performance Tuning in Answer Set Programming},
 editor       = {Francesco Calimeri and Giovambattista Ianni and Miroslaw Truszczynski},
 booktitle    = {Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, {LPNMR} 2015},
 series       = {Lecture Notes in Computer Science},
 volume       = {9345},
 publisher    = {Springer},
 pages        = {186--198},
 doi          = {10.1007/978-3-319-23264-5\_17},
)
@article(Calimeri-2020,
 author       = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Marco Maratea and Francesco Ricca and Torsten Schaub},
 year         = {2020},
 title        = {{ASP-Core-2} Input Language Format},
 journal      = {Theory Pract. Log. Program.},
 volume       = {20},
 number       = {2},
 pages        = {294--309},
 doi          = {10.1017/S1471068419000450},
)
@inproceedings(Ferraris-2009,
 author       = {Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz and Ravi Palla},
 year         = {2009},
 title        = {Symmetric Splitting in the General Theory of Stable Models},
 editor       = {Craig Boutilier},
 booktitle    = {Proceedings of the 21st International Joint Conference on Artificial Intelligence, {IJCAI 2009}},
 pages        = {797--803},
 url          = {http://ijcai.org/Proceedings/09/Papers/137.pdf},
)
@misc(Gebser-2015,
 author       = {M.~Gebser and R.~Kaminski and B.~Kaufmann and M.~Lindauer and M.~Ostrowski and J.~Romero and T.~Schaub and S.~Thiele},
 year         = {2015},
 title        = {Potassco User Guide},
 url          = {https://github.com/potassco/guide/releases/},
)
@inproceedings(Gebser-2011,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2011},
 title        = {Challenges in Answer Set Solving},
 editor       = {Marcello Balduccini and Tran~Cao Son},
 booktitle    = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {6565},
 publisher    = {Springer},
 pages        = {74--90},
 doi          = {10.1007/978-3-642-20832-4\_6},
)
@article(Gebser-2017,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2019},
 title        = {Multi-shot {ASP} solving with clingo},
 journal      = {Theory Pract. Log. Program.},
 volume       = {19},
 number       = {1},
 pages        = {27--82},
 doi          = {10.1017/S1471068418000054},
)
@inproceedings(Hippen-2018,
 author       = {Nicholas Hippen and Yuliya Lierler},
 year         = {2019},
 title        = {Automatic Program Rewriting in Non-Ground Answer Set Programs},
 editor       = {Jos{\'{e}}~J{\'{u}}lio Alferes and Moa Johansson},
 booktitle    = {Proceedings of the 21th International Symposium on Practical Aspects of Declarative Languages, {PADL} 2019},
 series       = {Lecture Notes in Computer Science},
 volume       = {11372},
 publisher    = {Springer},
 pages        = {19--36},
 doi          = {10.1007/978-3-030-05998-9\_2},
)
@article(HoosLS14,
 author       = {Holger~H. Hoos and Marius Lindauer and Torsten Schaub},
 year         = {2014},
 title        = {claspfolio 2: Advances in Algorithm Selection for Answer Set Programming},
 journal      = {Theory Pract. Log. Program.},
 volume       = {14},
 number       = {4-5},
 pages        = {569--585},
 doi          = {10.1017/S1471068414000210},
)
@inproceedings(Lierler-2019,
 author       = {Yuliya Lierler},
 year         = {2019},
 title        = {Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs},
 editor       = {Jos{\'{e}}~J{\'{u}}lio Alferes and Moa Johansson},
 booktitle    = {Proceedings of 21th International Symposium on Practical Aspects of Declarative Languages, {PADL} 2019},
 series       = {Lecture Notes in Computer Science},
 volume       = {11372},
 publisher    = {Springer},
 pages        = {1--18},
 doi          = {10.1007/978-3-030-05998-9\_1},
)
@inproceedings(Lifschitz-1994,
 author       = {Vladimir Lifschitz and Hudson Turner},
 year         = {1994},
 title        = {Splitting a Logic Program},
 editor       = {Pascal~Van Hentenryck},
 booktitle    = {Proceedings of the 11th International Conference on Logic Programming, ICLP 1994},
 publisher    = {{MIT} Press},
 pages        = {23--37},
)
@inproceedings(Liu-2019,
 author       = {Liu Liu and Miroslaw Truszczynski},
 year         = {2019},
 title        = {Encoding Selection for Solving {Hamiltonian Cycle} Problems with {ASP}},
 editor       = {Bart Bogaerts and Esra Erdem and Paul Fodor and Andrea Formisano and Giovambattista Ianni and Daniela Inclezan and Germ{\'{a}}n Vidal and Alicia Villanueva and Marina~De Vos and Fangkai Yang},
 booktitle    = {Proceedings of the 35th International Conference on Logic Programming, {ICLP} 2019, Technical Communications},
 series       = {{EPTCS}},
 volume       = {306},
 pages        = {302--308},
 doi          = {10.4204/EPTCS.306.35},
)
@article(rice-1976,
 author       = {John~R. Rice},
 year         = {1976},
 title        = {The Algorithm Selection Problem},
 journal      = {Advances in Computers},
 volume       = {15},
 pages        = {65--118},
 doi          = {10.1016/S0065-2458(08)60520-3},
)
@article(XuHHL08,
 author       = {Lin Xu and Frank Hutter and Holger~H. Hoos and Leyton{-}Brown, Kevin},
 year         = {2008},
 title        = {SATzilla: Portfolio-based Algorithm Selection for {SAT}},
 journal      = {J. Artif. Intell. Res.},
 volume       = {32},
 pages        = {565--606},
 doi          = {10.1613/jair.2490},
)