Using Secondary Structure Information for Protein Folding in CLP(FD). - Agostino Dovier; Matteo Burato; Federico Fogolari (WFLP, 2002)