Sylvie Coste-Marquis Daniel Le Berre Florian Letombe Pierre Marquis Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. 288-293 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#Coste-MarquisBLM05