Dynamic Constraint Satisfaction in a Bridge Design System. - Ian F. C. Smith; Kefeng Hua; Boi Faltings; Djamila Haroud; Graham Kimberley (Expert Systems in Engineering, 1990)