@incollection(Bau11,
 author       = {Ringo Baumann},
 year         = {2011},
 title        = {Splitting an Argumentation Framework},
 editor       = {James P. Delgrande and Wolfgang Faber},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {40--53},
 doi          = {10.1007/978-3-642-20895-9\_6},
)
@incollection(BBDW12,
 author       = {Ringo Baumann and Gerhard Brewka and Dvo{\v{r}}{\'a}k, Wolfgang and Stefan Woltran},
 year         = {2012},
 title        = {Parameterized Splitting: A Simple Modification-Based Approach},
 editor       = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce},
 booktitle    = {Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {57--71},
 doi          = {10.1007/978-3-642-30743-0_5},
)
@article(BeDe94,
 author       = {Ben-Eliyahu, Rachel and Rina Dechter},
 year         = {1994},
 title        = {Propositional Semantics For Disjunctive Logic Programs},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {12},
 pages        = {53--87},
 doi          = {10.1007/BF01530761},
)
@inproceedings(DEFK09,
 author       = {Dao-Tran, Minh and Thomas Eiter and Michael Fink and Thomas Krennwallner},
 year         = {2009},
 title        = {Modular Nonmonotonic Logic Programming Revisited},
 editor       = {Patricia M. Hill and David S. Warren},
 booktitle    = {Logic Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {145--159},
 doi          = {10.1007/978-3-642-02846-5\_16},
)
@article(DLL62,
 author       = {Martin Davis and George Logemann and Donald Loveland},
 year         = {1962},
 title        = {A machine program for theorem-proving},
 journal      = {Communications of the ACM},
 volume       = {5},
 number       = {7},
 pages        = {394--397},
 doi          = {10.1145/368273.368557},
)
@book(Dec03,
 author       = {Rina Dechter},
 year         = {2003},
 title        = {Constraint processing},
 publisher    = {Morgan Kaufmann},
)
@article(Dij59,
 author       = {Edsger W. Dijkstra},
 year         = {1959},
 title        = {A note on two problems in connexion with graphs},
 journal      = {Numerische mathematik},
 volume       = {1},
 number       = {1},
 pages        = {269--271},
 doi          = {10.1007/BF01386390},
)
@inproceedings(Fel11,
 author       = {Ariel Felner},
 year         = {2011},
 title        = {Position paper: Dijkstra's algorithm versus uniform cost search or a case against dijkstra's algorithm},
 booktitle    = {Fourth annual symposium on combinatorial search},
 pages        = {47--51},
)
@inproceedings(FLLP09,
 author       = {Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz and Ravi Palla},
 year         = {2009},
 title        = {Symmetric splitting in the general theory of stable models},
 booktitle    = {Twenty-First International Joint Conference on Artificial Intelligence},
 pages        = {797--803},
)
@inproceedings(GKKOST08,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Sven Thiele},
 year         = {2008},
 title        = {Engineering an Incremental ASP Solver},
 editor       = {Garcia de la Banda, Maria and Enrico Pontelli},
 booktitle    = {Logic Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {190--205},
 doi          = {10.1007/978-3-540-89982-2\_23},
)
@article(GeLi91,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1991},
 title        = {Classical Negation in Logic Programs and Disjunctive Databases},
 journal      = {New Generation Computing},
 volume       = {9},
 pages        = {365--385},
 doi          = {10.1007/BF03037169},
)
@article(JOTW09,
 author       = {Tomi Janhunen and Emilia Oikarinen and Hans Tompits and Stefan Woltran},
 year         = {2009},
 title        = {Modularity aspects of disjunctive stable models},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {35},
 pages        = {813--857},
 doi          = {10.1613/jair.2810},
)
@inproceedings(JWHY15,
 author       = {Jianmin Ji and Hai Wan and Ziwei Huo and Zhenfeng Yuan},
 year         = {2015},
 title        = {Splitting a Logic Program Revisited},
 booktitle    = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence},
 series       = {AAAI'15},
 publisher    = {AAAI Press},
 pages        = {1511--1517},
 url          = {http://dl.acm.org/citation.cfm?id=2886521.2886530},
)
@inproceedings(LiTu94,
 author       = {Vladimir Lifschitz and Hudson Turner},
 year         = {1994},
 title        = {Splitting a Logic Program.},
 booktitle    = {ICLP},
 volume       = {94},
 pages        = {23--37},
)
@article(OiJa08,
 author       = {Emilia Oikarinen and Tomi Janhunen},
 year         = {2008},
 title        = {Achieving compositionality of the stable model semantics for smodels programs},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {8},
 number       = {5-6},
 pages        = {717\IeC{\textendash}761},
 doi          = {10.1017/S147106840800358X},
)
@book(Pea84,
 author       = {Judea Pearl},
 year         = {1984},
 title        = {Heuristics: intelligent search strategies for computer problem solving},
 publisher    = {Addison-Wesley Pub. Co., Inc., Reading, MA},
)
@book(RuNo10,
 author       = {Stuart J. Russell and Peter Norvig},
 year         = {2010},
 title        = {Artificial Intelligence - {A} Modern Approach, Third International Edition},
 publisher    = {Pearson Education},
 url          = {http://vig.pearsoned.com/store/product/1,1207,store-12521\_isbn-0136042597,00.html},
)
@article(SeMiLe96,
 author       = {Bart Selman and David G Mitchell and Hector J Levesque},
 year         = {1996},
 title        = {Generating hard satisfiability problems},
 journal      = {Artificial intelligence},
 volume       = {81},
 number       = {1-2},
 pages        = {17--29},
 doi          = {10.1016/0004-3702(95)00045-3},
)