Propositional independence - formula-variable independence and forgetting (2003)

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