@inproceedings(ijcai/BogaertsW18,
 author       = {Bart Bogaerts and Antonius Weinzierl},
 year         = {2018},
 title        = {Exploiting Justifications for Lazy Grounding of Answer Set Programs},
 editor       = {J{\'{e}}r{\^{o}}me Lang},
 booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.},
 publisher    = {ijcai.org},
 pages        = {1737--1745},
 doi          = {10.24963/ijcai.2018/240},
)
@phdthesis(DeneckerPhD93,
 author       = {Marc Denecker},
 year         = {1993},
 title        = {Knowledge representation and reasoning in incomplete logic programming},
 school       = {K.U.Leuven},
 address      = {Leuven, Belgium},
)
@inproceedings(lpnmr/DeneckerBS15,
 author       = {Marc Denecker and Gerhard Brewka and Hannes Strass},
 year         = {2015},
 title        = {A Formal Theory of Justifications},
 editor       = {Francesco Calimeri and Giovambattista Ianni and Miros{\l}aw Truszczy{\'n}ski},
 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        = {250--264},
 doi          = {10.1007/978-3-319-23264-5\_{}22},
)
@article(ai/Dung95,
 author       = {Phan Minh Dung},
 year         = {1995},
 title        = {On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games},
 journal      = {Artif. Intell.},
 volume       = {77},
 number       = {2},
 pages        = {321 -- 357},
 doi          = {10.1016/0004-3702(94)00041-X},
)
@inproceedings(iclp/GebserKKS09,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2009},
 title        = {On the Implementation of Weight Constraint Rules in Conflict-Driven {ASP} Solvers},
 editor       = {Patricia M. Hill and David Scott Warren},
 booktitle    = {ICLP},
 series       = {LNCS},
 volume       = {5649},
 publisher    = {Springer},
 pages        = {250--264},
 doi          = {10.1007/978-3-642-02846-5},
)
@inproceedings(iclp/GelfondL88,
 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    = {ICLP/SLP},
 publisher    = {MIT Press},
 pages        = {1070--1080},
 url          = {http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.6050},
)
@inproceedings(concur/GimbertZ05,
 author       = {Hugo Gimbert and Wieslaw Zielonka},
 year         = {2005},
 title        = {Games Where You Can Play Optimally Without Any Memory},
 editor       = {Mart{\'{\i}}n Abadi and Luca de Alfaro},
 booktitle    = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3653},
 publisher    = {Springer},
 pages        = {428--442},
 doi          = {10.1007/11539452\_33},
)
@article(tplp/HouDD10,
 author       = {Ping Hou and {De Cat}, Broes and Marc Denecker},
 year         = {2010},
 title        = {{FO(FD)}: Extending classical logic with rule-based fixpoint definitions},
 journal      = {TPLP},
 volume       = {10},
 number       = {4-6},
 pages        = {581--596},
 doi          = {10.1017/S1471068410000293},
)
@inproceedings(vmcai/LapauwBD20,
 author       = {Ruben Lapauw and Maurice Bruynooghe and Marc Denecker},
 year         = {2020},
 title        = {Improving Parity Game Solvers with Justifications},
 editor       = {Dirk Beyer and Damien Zufferey},
 booktitle    = {Verification, Model Checking, and Abstract Interpretation - 21st International Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11990},
 publisher    = {Springer},
 pages        = {449--470},
 doi          = {10.1007/978-3-030-39322-9\_21},
)
@phdthesis(phd/Marynissen22,
 author       = {Simon Marynissen},
 year         = {2022},
 title        = {Advances in Justification Theory},
 school       = {Department of Computer Science, KU Leuven},
 url          = {https://lirias.kuleuven.be/3646147},
 note         = {Denecker, Marc and Bart Bogaerts (supervisors)},
)
@article(tplp/MarynissenBD20,
 author       = {Simon Marynissen and Bart Bogaerts and Marc Denecker},
 year         = {2020},
 title        = {Exploiting Game Theory for Analysing Justifications},
 journal      = {Theory Pract. Log. Program.},
 volume       = {20},
 number       = {6},
 pages        = {880--894},
 doi          = {10.1017/S1471068420000186},
)
@inproceedings(ijcai/MarynissenBD21,
 author       = {Simon Marynissen and Bart Bogaerts and Marc Denecker},
 year         = {2021},
 title        = {On the Relation Between Approximation Fixpoint Theory and Justification Theory},
 editor       = {Zhi{-}Hua Zhou},
 booktitle    = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021},
 publisher    = {ijcai.org},
 pages        = {1973--1980},
 doi          = {10.24963/ijcai.2021/272},
)
@article(tplp/MarynissenBDH22,
 author       = {Simon Marynissen and Bart Bogaerts and Marc Denecker and Jesse Heyninck},
 year         = {2022},
 title        = {On Nested Justification Systems},
 journal      = {Theory Pract. Log. Program.},
 volume       = {22},
 note         = {To appear (Accepted for ICLP 2022 special issue in TPLP)},
)
@inproceedings(nmr/MarynissenPBD18,
 author       = {Simon Marynissen and Niko Passchyn and Bart Bogaerts and Marc Denecker},
 year         = {2018},
 title        = {Consistency in Justification Theory},
 booktitle    = {Proceedings of 17th International Workshop on Non-Monotonic Reasoning {(NMR} 2018), Tempe, Arizona, USA, Oct. 27-29, 2018},
 publisher    = {AAAI Press 2018},
 pages        = {41--52},
 url          = {http://www4.uma.pt/nmr2018/NMR2018Proceedings.pdf},
)
@article(GelderRS91,
 author       = {{Van Gelder}, Allen and Kenneth A. Ross and John S. Schlipf},
 year         = {1991},
 title        = {The Well-Founded Semantics for General Logic Programs},
 journal      = {J. ACM},
 volume       = {38},
 number       = {3},
 pages        = {620--650},
 doi          = {10.1145/116825.116838},
)