TY  - RPRT
TI  - Implementing Default and Autoepistemic Logics via the Logic of GK
AU  - Jianmin Ji
AU  - Hannes Strass
PY  - 2014
UR  - https://arxiv.org/abs/1405.0809
ID  - 1405.0809
ER  -