@article(DelScha,
 author       = {J. Delgrande and T. Schaub},
 year         = {2003},
 title        = {On the relation between Reiter's default logic and its (major) variants.},
 journal      = {Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)},
 doi          = {10.1007\%2F978-3-540-45062-7_37},
)
@article(DegrandeSchaub,
 author       = {J. Delgrande and T. Schaub},
 year         = {2005},
 title        = {Expressing Default Logic Variants in Default Logic.},
 journal      = {Journal of Logic and Computation},
 doi          = {10.1093/logcom/exi021},
)
@book(kifer2018declarative,
 author       = {Michael Kifer and Yanhong Annie Liu},
 year         = {2018},
 publisher    = {Morgan \& Claypool},
 doi          = {10.1145/3191315},
)
@inproceedings(konolige1987relation,
 author       = {Kurt Konolige},
 year         = {1988},
 title        = {On the relation between default and autoepistemic logic.},
 booktitle    = {Artificial Intelligence},
 volume       = {35},
 pages        = {343--382},
 doi          = {10.1016/0004-3702(88)90021-5},
)
@article(McCarthya,
 author       = {J. McCarthy},
 year         = {1980},
 title        = {Circumscription - A form of non-monotonic reasoning.},
 journal      = {Artificial intelligence},
 volume       = {13:1-2},
 doi          = {10.1016/0004-3702(80)90011-9},
)
@article(McCarthyb,
 author       = {J. McCarthy},
 year         = {1986},
 title        = {Applications of circumscription to formalizing common-sense knowledge.},
 journal      = {Artificial intelligence},
 volume       = {28-1},
 doi          = {10.1016/0004-3702(86)90032-9},
)
@article(reiter1980logic,
 author       = {Raymond Reiter},
 year         = {1980},
 title        = {A logic for default reasoning},
 journal      = {Artificial intelligence},
 volume       = {13:1-2},
 doi          = {10.1016/0004-3702(80)90014-4},
)
@incollection(reiter1981closed,
 author       = {Raymond Reiter},
 year         = {1981},
 title        = {On closed world data bases},
 booktitle    = {Readings in artificial intelligence},
 publisher    = {Springer},
 pages        = {119--140},
 doi          = {10.1007\%2F978-1-4684-3384-5_3},
)
@book(russell2016artificial,
 author       = {Stuart J Russell and Peter Norvig},
 year         = {2016},
 publisher    = {Malaysia; Pearson Education Limited,},
 doi          = {10.1145/201977.201989},
)
@book(Sombe,
 author       = {L. Somb{\'e}},
 year         = {1990},
 publisher    = {John Wiley \& Sons Inc},
 doi          = {10.1002/int.4550050403},
)
@book(sterling1990practice,
 author       = {Leon Sterling},
 year         = {1990},
 publisher    = {MIT press},
 doi          = {10.1017/S026357470001599X},
)