[Lrde Annonce] Publication : ATPN'08 : Hierarchical Set Decision Diagrams and Automatic Saturation