Modular Abstract Diagnosis

Marco Comini, Giorgio Levi, Giuliana Vitiello. Modular Abstract Diagnosis. In José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998. pages 409-420, 1998.

@inproceedings{CominiLV98,
  title = {Modular Abstract Diagnosis},
  author = {Marco Comini and Giorgio Levi and Giuliana Vitiello},
  year = {1998},
  researchr = {https://researchr.org/publication/CominiLV98},
  cites = {0},
  citedby = {0},
  pages = {409-420},
  booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998},
  editor = {José Luis Freire-Nistal and Moreno Falaschi and Manuel Vilares Ferro},
}