TY  - RPRT
TI  - Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
AU  - Liangda Fang
AU  - Hai Wan
AU  - Xianqiao Liu
AU  - Biqing Fang
AU  - Zhaorong Lai
PY  - 2019
UR  - https://arxiv.org/abs/1806.11304
ID  - 1806.11304
ER  -