Proving Properties of Logic Programs by Abstract Diagnosis

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. Proving Properties of Logic Programs by Abstract Diagnosis. In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Volume 1192 of Lecture Notes in Computer Science, pages 22-50, Springer, 1996.

@inproceedings{CominiLMV96,
  title = {Proving Properties of Logic Programs by Abstract Diagnosis},
  author = {Marco Comini and Giorgio Levi and Maria Chiara Meo and Giuliana Vitiello},
  year = {1996},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/CominiLMV96},
  cites = {0},
  citedby = {0},
  pages = {22-50},
  booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
  editor = {Mads Dam},
  volume = {1192},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62503-8},
}