@misc{indiciae3864de6b6063,
  title = {Propositional Independence - Formula-Variable Independence and Forgetting},
  author = {J. Lang and P. Liberatore and P. Marquis},
  year = {2011},
  doi = {10.1613/jair.1113},
  url = {https://arxiv.org/abs/1106.4578},
  note = {Source identifier: 1106.4578}
}