Feeley, M. and Turcotte, M. and Lapalme, G., "Using Multilisp for Solving Constraint Satisfaction Problems: an Application to Nucleic Acid 3D Structure Determination" to appear in the journal "Lisp and Symbolic Computation".
Major, F. and Lapalme, G. and Cedergren, R., "Domain Generating Functions for Solving Constraint Satisfaction Problems", Journal of Functional Programming, Vol 1, No 2, 1991, pp 213-227.
Major, F. and Turcotte, M. and Gautheret, D. and Lapalme, G. and Fillion, E. and Cedergren, R., "The Combination of Symbolic and Numerical Computation for Three-Dimensional Modeling of RNA", Science, Vol 253, Sept 1991, pp 1255-1260.