TY  - RPRT
TI  - Propositional Independence - Formula-Variable Independence and Forgetting
AU  - J. Lang
AU  - P. Liberatore
AU  - P. Marquis
PY  - 2011
DO  - 10.1613/jair.1113
UR  - https://arxiv.org/abs/1106.4578
ID  - 1106.4578
ER  -