Symbolic diagnosis and its formalisation

@article{Lucas1997SymbolicDA,
  title={Symbolic diagnosis and its formalisation},
  author={Peter Lucas},
  journal={Knowledge Eng. Review},
  year={1997},
  volume={12},
  pages={109-146}
}