L. Fang, H. Wan, X. Liu, B. Fang, and Z. Lai, “Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting – Application to Belief Update and Conservative Extension”, AAAI, vol. 32, no. 1, Apr. 2018.