@inproceedings{liret:97a, address = {Linz},author = {Liret, Anne, and Roy, Pierre and Pachet, Fran├žois},booktitle = {ERCIM Workshop on Constraint Programming and Processing},note = {music},title = {Combining Formal Reasoning Techniques and CSP},type = {inproceedings},year = {1997},url = {https://wiki.ercim.eu/wg/Constraints/index.php/Workshops},}