Se p 20 06 A new tractable combinatorial decomposition