@article(anger2001nomore,
 author       = {Christian Anger and Kathrin Konczak and Thomas Linke},
 year         = {2001},
 title        = {NoMoRe: A System for Non-Monotonie Reasoning under Answer Set Semantics},
 journal      = {PSC 802 BOX 14 FPO 09499-0014},
 pages        = {406},
 doi          = {10.1007/3-540-45744-5\_24},
)
@book(baral,
 author       = {Chitta Baral},
 year         = {2010},
 title        = {Knowledge Representation, Reasoning and Declarative Problem Solving},
 publisher    = {Cambridge University Press},
 url          = {http://www.cambridge.org/de/academic/subjects/computer-science/artificial-intelligence-and-natural-language-processing/knowledge-representation-reasoning-and-declarative-problem-solving},
)
@incollection(EFPL12,
 author       = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
 year         = {2000},
 title        = {Declarative problem-solving using the DLV system},
 booktitle    = {Logic-based artificial intelligence},
 publisher    = {Springer},
 pages        = {79--103},
 doi          = {10.1016/S0743-1066(96)00125-2},
)
@article(DBLP:journals/corr/GebserKKS14,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2014},
 title        = {Clingo = {ASP} + Control: Preliminary Report},
 journal      = {CoRR},
 volume       = {abs/1405.3694},
)
@inproceedings(gebser22,
 author       = {Martin Gebser and Benjamin Kaufmann and Andr{\'e} Neumann and Torsten Schaub},
 year         = {2007},
 title        = {Conflict-driven answer set solving},
 booktitle    = {IJCAI},
 volume       = {7},
 pages        = {386--392},
 url          = {http://ijcai.org/Proceedings/07/Papers/060.pdf},
)
@book(gelfond2014knowledge,
 author       = {Michael Gelfond and Yulia Kahl},
 year         = {2014},
 title        = {Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139342124},
)
@inproceedings(GL2,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {Robert A. Kowalski and Kenneth A. Bowen},
 booktitle    = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
 publisher    = {{MIT} Press},
 pages        = {1070--1080},
)
@inproceedings(SciPyProceedings_11,
 author       = {Aric A. Hagberg and Daniel A. Schult and Pieter J. Swart},
 year         = {2008},
 title        = {Exploring Network Structure, Dynamics, and Function using NetworkX},
 editor       = {Ga\"el Varoquaux and Travis Vaught and Jarrod Millman},
 booktitle    = {Proceedings of the 7th Python in Science Conference},
 address      = {Pasadena, CA USA},
 pages        = {11 -- 15},
 url          = {http://conference.scipy.org/proceedings/SciPy2008/paper_2/},
)
@article(konczak2005graphs,
 author       = {Kathrin Konczak and Thomas Linke and Torsten Schaub},
 year         = {2006},
 title        = {Graphs and colorings for answer set programming},
 journal      = {Theory Pract. Log. Program.},
 volume       = {6},
 number       = {1-2},
 pages        = {61--106},
 doi          = {10.1017/S1471068405002528},
)
@article(grASP2021fang,
 author       = {Fang Li and Huaduo Wang and Gopal Gupta},
 year         = {2021},
 title        = {grASP: {A} Graph Based ASP-Solver and Justification System},
 journal      = {CoRR},
 volume       = {abs/2104.01190},
 url          = {https://arxiv.org/abs/2104.01190},
)
@inproceedings(lifschitz1994splitting,
 author       = {Vladimir Lifschitz and Hudson Turner},
 year         = {1994},
 title        = {Splitting a Logic Program},
 editor       = {Pascal Van Hentenryck},
 booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
 publisher    = {{MIT} Press},
 pages        = {23--37},
)
@inproceedings(linke2005suitable,
 author       = {Thomas Linke and Vladimir Sarsakov},
 year         = {2005},
 title        = {Suitable graphs for answer set programming},
 booktitle    = {International Conference on Logic for Programming Artificial Intelligence and Reasoning},
 organization = {Springer},
 pages        = {154--168},
 doi          = {10.1007/978-3-540-24609-1\_26},
)
@incollection(MT5,
 author       = {Victor W Marek and Miroslaw Truszczy{\'n}ski},
 year         = {1999},
 title        = {Stable models and an alternative logic programming paradigm},
 booktitle    = {The Logic Programming Paradigm},
 publisher    = {Springer},
 pages        = {375--398},
 doi          = {10.1006/jcss.1995.1053},
)
@inproceedings(galliwasp2,
 author       = {Kyle Marple and Ajay Bansal and Richard Min and Gopal Gupta},
 year         = {2012},
 title        = {Goal-directed execution of answer set programs},
 booktitle    = {Proc. PPDP'12},
 publisher    = {{ACM}},
 pages        = {35--44},
 doi          = {10.1145/2370776.2370782},
)
@incollection(silva2003grasp,
 author       = {Jo{\~{a}}o P. Marques Silva and Karem A. Sakallah},
 year         = {1996},
 title        = {{GRASP} - a new search algorithm for satisfiability},
 editor       = {Rob A. Rutenbar and Ralph H. J. M. Otten},
 booktitle    = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
 publisher    = {{IEEE} Computer Society / {ACM}},
 pages        = {220--227},
 doi          = {10.1109/ICCAD.1996.569607},
)