Integrating Models of the Correct Behavior into Abductive Diagnosis

@inproceedings{Console1990IntegratingMO,
  title={Integrating Models of the Correct Behavior into Abductive Diagnosis},
  author={Luca Console and Pietro Torasso},
  booktitle={ECAI},
  year={1990}
}