Two Forms of Dependence in Propositional Logic: Controllability and Definability.

Jrme Lang, Pierre Marquis

Browse the full AAAI paper archive.