@misc{indiciae0a56222c6d11, title = {Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension}, author = {Liangda Fang and Hai Wan and Xianqiao Liu and Biqing Fang and Zhaorong Lai}, year = {2019}, url = {https://arxiv.org/abs/1806.11304}, note = {Source identifier: 1806.11304} }