@inproceedings(ijcai:BichlerMW18,
 author       = {Manuel Bichler and Michael Morak and Stefan Woltran},
 year         = {2018},
 title        = {Single-Shot Epistemic Logic Program Solving},
 booktitle    = {Proc. IJCAI},
 pages        = {1714--1720},
 doi          = {10.24963/ijcai.2018/237},
)
@article(cacm:BrewkaET11,
 author       = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski},
 year         = {2011},
 title        = {Answer set programming at a glance},
 journal      = {Commun. {ACM}},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@inproceedings(iclp:CabalarPV07,
 author       = {Pedro Cabalar and David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2007},
 title        = {Minimal Logic Programs},
 booktitle    = {Proc. ICLP},
 series       = {LNCS},
 volume       = {4670},
 publisher    = {Springer},
 pages        = {104--118},
 doi          = {10.1007/978-3-540-74610-2\_8},
)
@article(jancl:EiterFPTW13,
 author       = {Thomas Eiter and Michael Fink and J{\"{o}}rg P{\"{u}}hrer and Hans Tompits and Stefan Woltran},
 year         = {2013},
 title        = {Model-based recasting in answer-set programming},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {23},
 number       = {1-2},
 pages        = {75--104},
 doi          = {10.1080/11663081.2013.799318},
)
@article(amai:EiterG95,
 author       = {Thomas Eiter and Georg Gottlob},
 year         = {1995},
 title        = {On the Computational Cost of Disjunctive Logic Programming: Propositional Case},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {15},
 number       = {3-4},
 pages        = {289--323},
 doi          = {10.1007/BF01536399},
)
@inproceedings(aaai:FaberMW19,
 author       = {Wolfgang Faber and Michael Morak and Stefan Woltran},
 year         = {2019},
 title        = {Strong Equivalence for Epistemic Logic Programs Made Easy},
 booktitle    = {Proc. AAAI},
)
@inproceedings(ijcai:CerroHS15,
 author       = {{Fari{\~{n}}as del Cerro}, Luis and Andreas Herzig and Ezgi Iraz Su},
 year         = {2015},
 title        = {Epistemic Equilibrium Logic},
 booktitle    = {Proc. IJCAI},
 pages        = {2964--2970},
 url          = {http://ijcai.org/Abstract/15/419},
)
@inproceedings(aaai:Gelfond91,
 author       = {Michael Gelfond},
 year         = {1991},
 title        = {Strong Introspection},
 booktitle    = {Proc. AAAI},
 publisher    = {{AAAI} Press / The {MIT} Press},
 pages        = {386--391},
 url          = {http://www.aaai.org/Library/AAAI/1991/aaai91-060.php},
)
@article(amai:Gelfond94,
 author       = {Michael Gelfond},
 year         = {1994},
 title        = {Logic Programming and Reasoning with Incomplete Information},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {12},
 number       = {1-2},
 pages        = {89--116},
 doi          = {10.1007/BF01530762},
)
@inproceedings(lpnmr:Gelfond11,
 author       = {Michael Gelfond},
 year         = {2011},
 title        = {New Semantics for Epistemic Specifications},
 booktitle    = {Proc. LPNMR},
 series       = {LNCS},
 volume       = {6645},
 publisher    = {Springer},
 pages        = {260--265},
 doi          = {10.1007/978-3-642-20895-9\_29},
)
@inproceedings(iclp:GelfondL88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 booktitle    = {Proc. ICLP},
 publisher    = {{MIT} Press},
 pages        = {1070--1080},
)
@article(ngc:GelfondL91,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1991},
 title        = {Classical Negation in Logic Programs and Disjunctive Databases},
 journal      = {New Generation Comput.},
 volume       = {9},
 number       = {3/4},
 pages        = {365--386},
 doi          = {10.1007/BF03037169},
)
@phdthesis(diss:Kahl14,
 author       = {Patrick Thor Kahl},
 year         = {2014},
 title        = {Refining the Semantics for Epistemic Logic Programs},
 school       = {Texas Tech University},
 address      = {Texas, USA},
)
@inproceedings(iclp:KahlL18,
 author       = {Patrick Thor Kahl and Anthony P. Leclerc},
 year         = {2018},
 title        = {Epistemic Logic Programs with World View Constraints},
 booktitle    = {Proc. ICLP (Technical Communications)},
 pages        = {1:1--1:17},
 doi          = {10.4230/OASIcs.ICLP.2018.1},
)
@article(logcom:KahlWBGZ15,
 author       = {Patrick Thor Kahl and Richard Watson and Evgenii Balai and Michael Gelfond and Yuanlin Zhang},
 year         = {2015},
 title        = {The Language of Epistemic Specifications (Refined) Including a Prototype Solver},
 journal      = {J. Log. Comput.},
 volume       = {25},
)
@article(tocl:LifschitzPV01,
 author       = {Vladimir Lifschitz and David Pearce and Agust{\'{\i}}n Valverde},
 year         = {2001},
 title        = {Strongly equivalent logic programs},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {2},
 number       = {4},
 pages        = {526--541},
 doi          = {10.1145/502166.502170},
)
@article(amai:LifschitzTT99,
 author       = {Vladimir Lifschitz and Lappoon R. Tang and Hudson Turner},
 year         = {1999},
 title        = {Nested Expressions in Logic Programs},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {25},
 number       = {3-4},
 pages        = {369--389},
 doi          = {10.1023/A:1018978005636},
)
@article(jair:LinC07,
 author       = {Fangzhen Lin and Yin Chen},
 year         = {2007},
 title        = {Discovering Classes of Strongly Equivalent Logic Programs},
 journal      = {J. Artif. Intell. Res.},
 volume       = {28},
 pages        = {431--451},
 doi          = {10.1613/jair.2131},
)
@article(tplp:PearceTW09,
 author       = {David Pearce and Hans Tompits and Stefan Woltran},
 year         = {2009},
 title        = {Characterising equilibrium logic and nested logic programs: Reductions and Complexity},
 journal      = {{TPLP}},
 volume       = {9},
 number       = {5},
 pages        = {565--616},
 doi          = {10.1017/S147106840999010X},
)
@article(ki:SchaubW18,
 author       = {Torsten Schaub and Stefan Woltran},
 year         = {2018},
 title        = {Special Issue on Answer Set Programming},
 journal      = {{KI}},
 volume       = {32},
 number       = {2-3},
 doi          = {10.1007/s13218-018-0554-8},
)
@article(ai:ShenE16,
 author       = {Yi{-}Dong Shen and Thomas Eiter},
 year         = {2016},
 title        = {Evaluating epistemic negation in answer set programming},
 journal      = {Artif. Intell.},
 volume       = {237},
 pages        = {115--135},
 doi          = {10.1016/j.artint.2016.04.004},
)
@inproceedings(ijcai:SonLKL17,
 author       = {Tran Cao Son and Tiep Le and Patrick Thor Kahl and Anthony P. Leclerc},
 year         = {2017},
 title        = {On Computing World Views of Epistemic Logic Programs},
 booktitle    = {Proc. IJCAI},
 pages        = {1269--1275},
 doi          = {10.24963/ijcai.2017/176},
)
@inproceedings(birthday:Truszczynski11,
 author       = {Miroslaw Truszczynski},
 year         = {2011},
 title        = {Revisiting Epistemic Specifications},
 booktitle    = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday},
 pages        = {315--333},
 doi          = {10.1007/978-3-642-20832-4\_20},
)
@article(tplp:Turner03,
 author       = {Hudson Turner},
 year         = {2003},
 title        = {Strong equivalence made easy: nested expressions and weight constraints},
 journal      = {{TPLP}},
 volume       = {3},
 number       = {4-5},
 pages        = {609--622},
 doi          = {10.1017/S1471068403001819},
)
@inproceedings(lpnmr:WangZ05,
 author       = {Kewen Wang and Yan Zhang},
 year         = {2005},
 title        = {Nested Epistemic Logic Programs},
 booktitle    = {Proc. LPNMR},
 series       = {LNCS},
 volume       = {3662},
 publisher    = {Springer},
 pages        = {279--290},
 doi          = {10.1007/11546207\_22},
)