TY  - RPRT
TI  - Uniform semantic treatment of default and autoepistemic logics
AU  - Marc Denecker
AU  - Victor W. Marek
AU  - Miroslaw Truszczynski
PY  - 2000
UR  - https://arxiv.org/abs/cs/0002002
ID  - cs/0002002
ER  -