@article(BalducciniG03,
 author       = {Marcello Balduccini and Michael Gelfond},
 year         = {2003},
 title        = {Diagnostic reasoning with A-Prolog},
 journal      = {TPLP},
 volume       = {3},
 number       = {4-5},
 pages        = {425--461},
 url          = {http://dx.doi.org/10.1017/S1471068403001807},
)
@inproceedings(BomansonB19,
 author       = {Jori Bomanson and Alex Brik},
 year         = {2019},
 title        = {Diagnosing Data Pipeline Failures Using Action Languages},
 editor       = {Marcello Balduccini and Yuliya Lierler and Stefan Woltran},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning - 15th International Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11481},
 publisher    = {Springer},
 pages        = {181--194},
 doi          = {10.1007/978-3-030-20528-7\_14},
)
@article(DBLP:journals/ai/Bonatti08,
 author       = {Piero A. Bonatti},
 year         = {2008},
 title        = {Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 {(1)} {(2004)} 75-111]},
 journal      = {Artif. Intell.},
 volume       = {172},
 number       = {15},
 pages        = {1833--1835},
 doi          = {10.1016/j.artint.2008.07.002},
)
@inproceedings(BrikR11,
 author       = {Alex Brik and Jeffrey B. Remmel},
 year         = {2011},
 title        = {{Hybrid ASP}},
 editor       = {John P. Gallagher and Michael Gelfond},
 booktitle    = {ICLP (Technical Communications)},
 series       = {LIPIcs},
 volume       = {11},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {40--50},
 url          = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.40},
)
@inproceedings(HybridASP2,
 author       = {Alex Brik and Jeffrey B. Remmel},
 year         = {2012},
 title        = {{Computing a Finite Horizon Optimal Strategy Using Hybrid ASP}},
 booktitle    = {14th International Workshop on Non-Monotonic Reasoning, {NMR} 2012, Rome, Italy, June 8-10, 2012. Procedings},
)
@inproceedings(BrikR15,
 author       = {Alex Brik and Jeffrey B. Remmel},
 year         = {2015},
 title        = {Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid {ASP}},
 editor       = {Francesco Calimeri and Giovambattista Ianni and Miroslaw Truszczynski},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning - 13th International Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9345},
 publisher    = {Springer},
 pages        = {173--185},
 doi          = {10.1007/978-3-319-23264-5},
)
@inproceedings(BrikR17,
 author       = {Alex Brik and Jeffrey B. Remmel},
 year         = {2017},
 title        = {Action Language Hybrid {AL}},
 editor       = {Marcello Balduccini and Tomi Janhunen},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {322--335},
 doi          = {10.1007/978-3-319-61660-5\_29},
)
@inproceedings(BrikX20,
 author       = {Alex Brik and Jeffrey Xu},
 year         = {2020},
 title        = {Diagnosing Data Pipeline Failures Using Action Languages: {A} Progress Report},
 editor       = {Ekaterina Komendantskaya and Yanhong Annie Liu},
 booktitle    = {Practical Aspects of Declarative Languages - 22nd International Symposium, {PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12007},
 publisher    = {Springer},
 pages        = {73--81},
 doi          = {10.1007/978-3-030-39197-3\_5},
)
@article(DworschakGNSS08,
 author       = {Steve Dworschak and Susanne Grell and Victoria J. Nikiforova and Torsten Schaub and Joachim Selbig},
 year         = {2008},
 title        = {Modeling Biological Networks by Action Languages via Answer Set Programming},
 journal      = {Constraints},
 volume       = {13},
 number       = {1-2},
 pages        = {21--65},
 doi          = {10.1007/s10601-007-9031-y},
)
@article(EmdenK76,
 author       = {Maarten H. van Emden and Robert A. Kowalski},
 year         = {1976},
 title        = {The Semantics of Predicate Logic as a Programming Language},
 journal      = {J. ACM},
 volume       = {23},
 number       = {4},
 pages        = {733--742},
 url          = {http://doi.acm.org/10.1145/321978.321991},
)
@inproceedings(GelfondL88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 booktitle    = {ICLP/SLP},
 pages        = {1070--1080},
)
@inproceedings(DBLP:conf/iclp/LifschitzT94,
 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},
)