TY  - RPRT
TI  - Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
AU  - Marc Denecker
AU  - Victor W. Marek
AU  - Miroslaw Truszczynski
PY  - 2011
UR  - https://arxiv.org/abs/1108.3278
ID  - 1108.3278
ER  -