TY  - RPRT
TI  - Variable Forgetting in Reasoning about Knowledge
AU  - Kaile Su
AU  - Abdul Sattar
AU  - Guanfeng Lv
AU  - Yan Zhang
PY  - 2014
DO  - 10.1613/jair.2750
UR  - https://arxiv.org/abs/1401.3472
ID  - 1401.3472
ER  -