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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.