Two Forms of Dependence in Propositional Logic: Controllability and Definability

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},
}