An Extension of Nested Satisfiability - Hansen, Pierre; Jaumard, Brigitte; Plateau, Gérard (Groupe d’études et de recherche en analyse des décisions, 1993)