Jérôme Lang, Pierre Marquis. Two Forms of Dependence in Propositional Logic: Controllability and Definability. In AAAI/IAAI. pages 268-273, 1998.
@inproceedings{LangM98, title = {Two Forms of Dependence in Propositional Logic: Controllability and Definability}, author = {Jérôme Lang and Pierre Marquis}, year = {1998}, tags = {logic}, researchr = {https://researchr.org/publication/LangM98}, cites = {0}, citedby = {0}, pages = {268-273}, booktitle = {AAAI/IAAI}, }