@article(Cabalar2020,
 author       = {Pedro Cabalar and Jorge Fandinno and Mu\IeC{\~n}iz, Brais},
 year         = {2020},
 title        = {A System for Explainable Answer Set Programming},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {325},
 pages        = {124\IeC{\textendash}136},
 doi          = {10.4204/eptcs.325.19},
)
@inproceedings(GelfondL88,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1988},
 title        = {The stable model semantics for logic programming},
 editor       = {R. Kowalski and K. Bowen},
 booktitle    = {Logic Programming: Proc.~of the Fifth International Conf.~and Symp.},
 pages        = {1070--1080},
)
@inproceedings(kaminski2017tutorial,
 author       = {Roland Kaminski and Torsten Schaub and Philipp Wanko},
 year         = {2017},
 title        = {A tutorial on hybrid answer set solving with clingo},
 booktitle    = {Reasoning Web International Summer School},
 organization = {Springer},
 pages        = {167--203},
)
@inproceedings(MarekT99,
 author       = {V. Marek and M. Truszczy\'nski},
 year         = {1999},
 title        = {Stable models and an alternative logic programming paradigm},
 booktitle    = {The Logic Programming Paradigm: a 25-year Perspective},
 pages        = {375--398},
 doi          = {10.1007/978-3-642-60085-2_17},
)
@article(Niemela99,
 author       = {I. Niemel{\"{a}}},
 year         = {1999},
 title        = {Logic programming 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(PontelliSE09,
 author       = {E. Pontelli and T.C. Son and El-Khatib, O.},
 year         = {2009},
 title        = {Justifications for logic programs under answer set semantics},
 journal      = {TPLP},
 volume       = {9},
 number       = {1},
 pages        = {1--56},
 url          = {http://dx.doi.org/10.1017/S1471068408003633},
)
@article(schulz2016justifying,
 author       = {Claudia Schulz and Francesca Toni},
 year         = {2016},
 title        = {Justifying answer sets using argumentation},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {1},
 pages        = {59--110},
 doi          = {10.1017/S1471068414000702},
)
@article(simons2002extending,
 author       = {Patrik Simons and Ilkka Niemel{\"{a}} and Timo Soininen},
 year         = {2002},
 title        = {Extending and implementing the stable model semantics},
 journal      = {Artificial Intelligence},
 volume       = {138},
 number       = {1-2},
 pages        = {181--234},
 doi          = {10.1016/S0004-3702(02)00187-X},
)
@inproceedings(lyly2021,
 author       = {Ly Ly Trieu and Tran Cao Son and Enrico Pontelli and Marcello Balduccini},
 year         = {2021},
 title        = {{Generating explanations for answer set programming applications}},
 booktitle    = {Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications III},
 organization = {International Society for Optics and Photonics},
 publisher    = {SPIE},
 pages        = {390 -- 403},
 url          = {https://doi.org/10.1117/12.2587517},
)