Smith, I.F.C.Faltings, B.2007-08-142007-08-142007-08-141993https://infoscience.epfl.ch/handle/20.500.14299/10154Implementing qualitative reasoning for structural design using constraint propagationtext::conference output::conference proceedings::conference paper