Inproceedings,

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.

, , and .
IJCAI, page 1494-1501. Morgan Kaufmann, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews