Dominic A. Clark Christopher J. Rawlings Jack Shirazi Liang-Liang Li Kees Schuerman Mike Reeve André Véron Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System. 690-701 1993 36 Comput. J. 8 db/journals/cj/cj36.html#ClarkRSLSRV93