@article{dependenceinpropositionallogicformula,
  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 = {2018},
  eprint = {1806.11304},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1806.11304v2},
}