Jérôme Lang, Paolo Liberatore, Pierre Marquis. Propositional Independence: Formula-Variable Independence and Forgetting. J. Artif. Intell. Res. (JAIR), 18:391-443, 2003. [doi]
@article{LangLM03, title = {Propositional Independence: Formula-Variable Independence and Forgetting}, author = {Jérôme Lang and Paolo Liberatore and Pierre Marquis}, year = {2003}, url = {http://www.cs.washington.edu/research/jair/abstracts/lang03a.html}, researchr = {https://researchr.org/publication/LangLM03}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {18}, pages = {391-443}, }