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