TY  - RPRT
TI  - Fixpoint 3-valued semantics for autoepistemic logic
AU  - M. Denecker
AU  - V. Marek
AU  - M. Truszczynski
PY  - 1999
UR  - https://arxiv.org/abs/cs/9901003
ID  - cs/9901003
ER  -