Abstract Diagnosis

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. Abstract Diagnosis. Journal of Logic and Algebraic Programming, 39(1-3):43-93, 1999.

@article{CominiLMV99,
  title = {Abstract Diagnosis},
  author = {Marco Comini and Giorgio Levi and Maria Chiara Meo and Giuliana Vitiello},
  year = {1999},
  researchr = {https://researchr.org/publication/CominiLMV99},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {39},
  number = {1-3},
  pages = {43-93},
}