Propositional independence: Formula-variable independence and forgetting, (2003)

by J Lang, P Liberatore, P Marquis
Venue:Journal of Artificial Intelligence Research