@article(DBLP:journals/ki/AdrianACCDFFLMP18,
 author       = {Weronika T. Adrian and Mario Alviano and Francesco Calimeri and Bernardo Cuteri and Carmine Dodaro and Wolfgang Faber and Davide Fusc{\`{a}} and Nicola Leone and Marco Manna and Simona Perri and Francesco Ricca and Pierfrancesco Veltri and Jessica Zangari},
 year         = {2018},
 title        = {The {ASP} System {DLV:} Advancements and Applications},
 journal      = {{KI}},
 volume       = {32},
 number       = {2-3},
 pages        = {177--179},
 doi          = {10.1007/s13218-018-0533-0},
)
@article(DBLP:journals/jal/CalimeriPR08,
 author       = {Francesco Calimeri and Simona Perri and Francesco Ricca},
 year         = {2008},
 title        = {Experimenting with parallelism for the instantiation of {ASP} programs},
 journal      = {Journal of Algorithms},
 volume       = {63},
 number       = {1-3},
 pages        = {34--54},
 doi          = {10.1016/j.jalgor.2008.02.003},
)
@article(DBLP:journals/fuin/PaluDPR09,
 author       = {{Dal Pal{\`{u}} }, Alessandro and Agostino Dovier and Enrico Pontelli and Gianfranco Rossi},
 year         = {2009},
 title        = {{GASP:} Answer Set Programming with Lazy Grounding},
 journal      = {Fundam. Inform.},
 volume       = {96},
 number       = {3},
 pages        = {297--322},
 doi          = {10.3233/FI-2009-180},
)
@inbook(Dean2008,
 author       = {J. Dean and S. Ghemawat},
 year         = {2008},
 title        = {MapReduce: Simplified Data Processing on Large Clusters},
 pages        = {107--113},
 volume       = {51},
 publisher    = {ACM},
)
@article(DBLP:journals/jetai/DovierFP09,
 author       = {Agostino Dovier and Andrea Formisano and Enrico Pontelli},
 year         = {2009},
 title        = {An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems},
 journal      = {JETAI},
 volume       = {21},
 number       = {2},
 pages        = {79--121},
 doi          = {10.1080/09528130701538174},
)
@incollection(DBLP:books/sp/18/DovierFP18,
 author       = {Agostino Dovier and Andrea Formisano and Enrico Pontelli},
 year         = {2018},
 title        = {Parallel Answer Set Programming},
 editor       = {Youssef Hamadi and Lakhdar Sais},
 booktitle    = {Handbook of Parallel Constraint Reasoning.},
 publisher    = {Springer},
 pages        = {237--282},
 doi          = {10.1007/978-3-319-63516-3\_7},
)
@inproceedings(DBLP:conf/asp/FinkelMMT01,
 author       = {Raphael A. Finkel and Victor W. Marek and Neil Moore and Miroslaw Truszczynski},
 year         = {2001},
 title        = {Computing stable models in parallel},
 editor       = {Provetti and Son},
 url          = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/18.ps},
)
@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},
 url          = {http://arxiv.org/abs/1405.3694},
)
@inproceedings(Gelfond1990,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1990},
 title        = {Logic Programs with Classical Negation},
 booktitle    = {Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990},
 pages        = {579--597},
)
@mastersthesis(ignethesis,
 author       = {Federico Igne},
 year         = {2017},
 title        = {Analysis and development of a distributed ASP solver using MapReduce},
 school       = {University of Udine},
)
@inproceedings(DBLP:conf/iclp/IgneDP18,
 author       = {Federico Igne and Agostino Dovier and Enrico Pontelli},
 year         = {2018},
 title        = {MASP-Reduce: {A} Proposal for Distributed Computation of Stable Models},
 editor       = {Alessandro Dal Pal{\`{u}} and Paul Tarau and Neda Saeedloei and Paul Fodor},
 booktitle    = {Technical Communications of the 34th International Conference on Logic Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
 series       = {{OASICS}},
 volume       = {64},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {8:1--8:4},
 doi          = {10.4230/OASIcs.ICLP.2018.8},
)
@article(DBLP:journals/tplp/KonczakLS06,
 author       = {Kathrin Konczak and Thomas Linke and Torsten Schaub},
 year         = {2006},
 title        = {Graphs and colorings for answer set programming},
 journal      = {{TPLP}},
 volume       = {6},
 number       = {1-2},
 pages        = {61--106},
 doi          = {10.1017/S1471068405002528},
)
@inproceedings(DBLP:conf/iclp/LiuPST07,
 author       = {Lengning Liu and Enrico Pontelli and Tran Cao Son and Miroslaw Truszczynski},
 year         = {2007},
 title        = {Logic Programs with Abstract Constraint Atoms: The Role of Computations},
 editor       = {Ver{\'{o}}nica Dahl and Ilkka Niemel{\"{a}}},
 booktitle    = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto, Portugal, September 8-13, 2007, Proceedings},
 series       = {LNCS},
 volume       = {4670},
 publisher    = {Springer},
 pages        = {286--301},
 doi          = {10.1145/321978.321991},
)
@inproceedings(DBLP:conf/asp/PontelliE01,
 author       = {Enrico Pontelli and El{-}Khatib, Omar},
 year         = {2001},
 title        = {Exploiting Vertical Parallelism from Answer Set Programs},
 editor       = {Provetti and Son},
 url          = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/24.ps},
)
@proceedings(DBLP:conf/asp/2001,
 editor       = {Alessandro Provetti and Tran Cao Son},
 year         = {2001},
 title        = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001},
)
@inproceedings(Son2007,
 author       = {Tran Cao Son and Enrico Pontelli},
 year         = {2007},
 title        = {Planning for biochemical pathways: A case study of answer set planning in large planning problem instances},
 editor       = {{De Vos}, Marina and Torsten Schaub},
 booktitle    = {Proceedings of the First International SEA'07 Workshop, Tempe, Arizona, USA},
 series       = {CEUR Workshop Proceedings},
 volume       = {281},
 pages        = {116--130},
)
@mastersthesis(totisthesis,
 author       = {Pietro Totis},
 year         = {2018},
 title        = {A distributed ASP solver for stratified programs},
 school       = {University of Udine},
)