@conference{Dago96a, author = "P. Dago and G. Verfaillie", address = "Toulouse, France", booktitle = "Proc. of ICTAI'96", title = "{N}ogood {R}ecording for {V}alued {C}onstraint {S}atisfaction {P}roblems", year = "1996", }