Hua, H.Smith, I.F.C.Faltings, B.2007-08-142007-08-142007-08-141989https://infoscience.epfl.ch/handle/20.500.14299/10125Default-reasoning in a bridge design systemtext::conference output::conference proceedings::conference paper