A constraint programming language for Life-Cycle Engineering. - James Bowen; Peter J. O'Grady; Larry Smith 003 (Artif. Intell. Eng., 1990)