@article(cab20b,
 author       = {Pedro Cabalar and Jorge Fandinno and Yuliya Lierler},
 year         = {2020},
 title        = {Modular Answer Set Programming as a Formal Specification Language},
 journal      = {Theory and Practice of Logic Programming},
 doi          = {10.1007/978-1-4471-0043-0},
)
@inbook(Clark1978,
 author       = {Keith L. Clark},
 year         = {1978},
 title        = {Negation as Failure},
 pages        = {293--322},
 publisher    = {Springer US},
 address      = {Boston, MA},
 doi          = {10.1007/978-1-4684-3384-5_11},
)
@inproceedings(fan22,
 author       = {Jorge Fandinno and Zach Hansen and Yuliya Lierler},
 year         = {2022},
 title        = {Axiomatization of Aggregates in Answer Set Programming},
 booktitle    = {Proceedings of the Thirty-six National Conference on Artificial Intelligence (AAAI'22)},
 publisher    = {AAAI Press},
)
@article(falilusc20a,
 author       = {Jorge Fandinno and Vladimir Lifschitz and Patrick L{\"u}hne and Torsten Schaub},
 year         = {2020},
 title        = {Verifying Tight Logic Programs with anthem and vampire},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {5},
 number       = {20},
 pages        = {735--750},
 doi          = {10.1017/S1471068403001765},
)
@article(feleli11a,
 author       = {Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz},
 year         = {2011},
 title        = {Stable models and circumscription},
 journal      = {Artificial Intelligence},
 volume       = {175},
 number       = {1},
 pages        = {236--263},
 doi          = {10.1016/j.artint.2010.04.011},
)
@manual(potasscoGuide,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Marius Lindauer and Max Ostrowski and Javier Romero and Torsten Schaub and Sven Thiele and Philipp Wanko},
 year         = {2019},
 title        = {Potassco User Guide},
 edition      = {2.2.0},
 organization = {University of Potsdam},
)
@inproceedings(gel88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {Robert Kowalski and Bowen and Kenneth},
 booktitle    = {Proceedings of International Logic Programming Conference and Symposium},
 publisher    = {MIT Press},
 pages        = {1070--1080},
 url          = {http://www.cs.utexas.edu/users/ai-lab?gel88},
)
@article(halira17a,
 author       = {Amelia Harrison and Vladimir Lifschitz and Dhananjay Raju},
 year         = {2017},
 title        = {Program completion in the input language of {GRINGO}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {17},
 number       = {5-6},
 pages        = {855--871},
 doi          = {10.1007/978-1-4684-3384-5_11},
)
@inproceedings(harliffang14,
 author       = {Amelia Harrison and Vladimir Lifschitz and Fangkai Yang},
 year         = {2014},
 title        = {The Semantics of Gringo and Infinitary Propositional Formulas},
 booktitle    = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning},
 series       = {KR'14},
 publisher    = {AAAI Press},
 pages        = {32–41},
 doi          = {10.1007/978-1-4684-3384-5_11},
)
@article(hoare1969,
 author       = {Charles Anthony Richard Hoare},
 year         = {1969},
 title        = {An Axiomatic Basis for Computer Programming},
 journal      = {Commun. ACM},
 volume       = {12},
 number       = {10},
 pages        = {576–580},
 doi          = {10.1145/363235.363259},
)
@article(Janhunen2016,
 author       = {Tomi Janhunen and Ilkka Nimelä},
 year         = {2016},
 title        = {The Answer Set Programming Paradigm},
 journal      = {AI Magazine},
 volume       = {37},
 number       = {3},
 pages        = {13--24},
 doi          = {10.1609/aimag.v37i3.2671},
 url          = {https://aaai.org/ojs/index.php/aimagazine/article/view/2671},
)
@inproceedings(kovvor13a,
 author       = {Laura Kov{\'{a}}cs and Andrei Voronkov},
 year         = {2013},
 title        = {First-Order Theorem Proving and Vampire},
 editor       = {Natasha Sharygina and Helmut Veith},
 booktitle    = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8044},
 publisher    = {Springer},
 pages        = {1--35},
 doi          = {10.1007/978-3-642-39799-8\_1},
)
@inproceedings(liflusch,
 author       = {Vladimir Lifschitz and Patrick L{\"u}hne and Torsten Schaub},
 year         = {2020},
 title        = {Towards Verifying Logic Programs in the Input Language of clingo},
 editor       = {Andreas Blass and Patrick C{\'e}gielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner},
 booktitle    = {Fields of Logic and Computation III},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {190--209},
 doi          = {10.1007/978-1-4684-3384-5_11},
)
@inbook(Marek1999,
 author       = {Victor W. Marek and Miroslaw Truszczy{\'{n}}ski},
 year         = {1999},
 title        = {Stable Models and an Alternative Logic Programming Paradigm},
 pages        = {375--398},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-60085-2_17},
)
@article(Niemela1999,
 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},
 pages        = {241--273},
 doi          = {10.1023/A:1018930122475},
)
@article(Sut17,
 author       = {Geoff Sutcliffe},
 year         = {2017},
 title        = {{The TPTP Problem Library and Associated Infrastructure. From CNF to TH0, TPTP v6.4.0}},
 journal      = {Journal of Automated Reasoning},
 volume       = {59},
 number       = {4},
 pages        = {483--502},
 doi          = {10.1007/s10817-017-9407-7},
)
@inbook(tru12,
 author       = {Miroslaw Truszczynski},
 title        = {Connecting First-Order ASP and the Logic FO(ID) through Reducts},
 series       = {Lecture Notes in Computer Science},
 volume       = {7265},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-642-30743-0_37},
 url          = {http://link.springer.com/10.1007/978-3-642-30743-0_37},
)