MINOS: a constraints based tool for the HyperNets. - Pascal Yim; Arnaud Lefort; Agnes Hebrard (ICTAI, 1995)