Smith, I.F.C.2007-08-142007-08-142007-08-141997https://infoscience.epfl.ch/handle/20.500.14299/10184Abductive engineering supporttext::conference output::conference proceedings::conference paper