Niall Murtagh Masamichi Shimura Parametric Engineering Design Using Constraint-Based Reasoning. 505-510 1990 AAAI db/conf/aaai/aaai90.html#MurtaghS90