@article(AriasCSM18,
 author       = {Joaqu{\'{\i}}n Arias and Manuel Carro and Elmer Salazar and Kyle Marple and Gopal Gupta},
 year         = {2018},
 title        = {Constraint Answer Set Programming without Grounding},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18},
 number       = {3-4},
 pages        = {337--354},
 doi          = {10.1017/S1471068418000285},
)
@article(gelfond2003diagnosis,
 author       = {Marcello Balduccini and Michael Gelfond},
 year         = {2003},
 title        = {Diagnostic reasoning with {A}-{P}rolog},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {3},
 number       = {4-5},
 pages        = {425--461},
 doi          = {10.1017/S1471068403001807},
)
@article(Music-Boenn2010,
 author       = {Georg Boenn and Martin Brain and De Vos, Marina and John ffitch},
 year         = {2010},
 title        = {Automatic Music Composition using Answer Set Programming},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {11},
 doi          = {10.1017/S1471068410000530},
)
@article(brewka2011,
 author       = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski},
 year         = {2011},
 title        = {Answer set programming at a glance},
 journal      = {Commun. {ACM}},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@article(phylogenetic-trees-Brooks07,
 author       = {Daniel Brooks and Esra Erdem and Selim Erdoğan and James Minett and Don Ringe},
 year         = {2007},
 title        = {Inferring Phylogenetic Trees Using Answer Set Programming},
 journal      = {Journal of Automated Reasoning},
 volume       = {39},
 pages        = {471--511},
 doi          = {10.1007/s10817-007-9082-1},
)
@article(CabalarFF14cg,
 author       = {Pedro Cabalar and Jorge Fandinno and Michael Fink},
 year         = {2014},
 title        = {Causal Graph Justifications of Logic Programs},
 journal      = {Theory and Practice of Logic Programming {TPLP}},
 volume       = {14},
 number       = {4-5},
 pages        = {603--618},
 doi          = {10.1017/S1471068414000234},
)
@article(housekeeping-robotics-Erdem12,
 author       = {Esra Erdem and Erdi Aker and Volkan Patoglu},
 year         = {2012},
 title        = {Answer set programming for collaborative housekeeping robotics: Representation, reasoning, and execution},
 journal      = {Intelligent Service Robotics},
 volume       = {5},
 doi          = {10.1007/s11370-012-0119-x},
)
@article(Fan16,
 author       = {Jorge Fandinno},
 year         = {2016},
 title        = {Deriving conclusions from non-monotonic cause-effect relations},
 journal      = {Theory Pract. Log. Program.},
 volume       = {16},
 number       = {5-6},
 pages        = {670--687},
 doi          = {10.1017/S1471068416000466},
)
@article(FandinnoS19,
 author       = {Jorge Fandinno and Claudia Schulz},
 year         = {2019},
 title        = {Answering the ``why" in answer set programming - {A} survey of explanation approaches},
 journal      = {Theory Pract. Log. Program.},
 volume       = {19},
 number       = {2},
 doi          = {10.1017/S1471068418000534},
)
@inproceedings(gekakaosscwa16a,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and M. Ostrowski and T. Schaub and P. Wanko},
 year         = {2016},
 title        = {Theory Solving Made Easy with Clingo~5},
 editor       = {M. Carro and A. King},
 booktitle    = {Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)},
 series       = {OpenAccess Series in Informatics (OASIcs)},
 volume       = {52},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 pages        = {2:1--2:15},
 doi          = {10.4230/OASIcs.ICLP.2016.2},
)
@article(lifschitz2019anthem,
 author       = {Vladimir Lifschitz and Patrick Lühne and Torsten Schaub},
 year         = {2019},
 title        = {Verifying Strong Equivalence of Programs in the Input Language of gringo},
 pages        = {270--283},
 doi          = {10.1007/978-3-030-20528-7_20},
)
@incollection(MT99,
 author       = {Victor W. Marek and Miroslaw Truszczy{\'n}ski},
 year         = {1999},
 title        = {Stable Models and an Alternative Logic Programming Paradigm},
 editor       = {Krzysztof R. Apt and Victor W. Marek and Miros{\l}aw Truszczy{\'n}ski and DavidS Warren},
 booktitle    = {The Logic Programming Paradigm},
 series       = {Artificial Intelligence},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {375--398},
 doi          = {10.1007/978-3-642-60085-2_17},
)
@article(Nie99,
 author       = {Ilkka Niemel{\"a}},
 year         = {1999},
 title        = {Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {25},
 number       = {3-4},
 pages        = {241--273},
 doi          = {10.1023/A:1018930122475},
)
@article(pontelli2009justifications,
 author       = {Enrico Pontelli and Tran Cao Son and El{-}Khatib, Omar},
 year         = {2009},
 title        = {Justifications for logic programs under answer set semantics},
 journal      = {Theory and Practice of Logic Programming {TPLP}},
 volume       = {9},
 number       = {1},
 doi          = {10.1017/S1471068408003633},
)
@inproceedings(schulzT2016justifying,
 author       = {Claudia Schulz and Francesca Toni},
 year         = {2016},
 title        = {Justifying answer sets using argumentation},
 volume       = {16},
 pages        = {59--110},
 doi          = {10.1017/S1471068414000702},
)