@article
{LuLPAR94,
author = {L. Lu},
title = {A Generic Declarative Diagnoser for Normal Logic Programs},
year = 1994,
pages = {290-304},
journal = {Lecture Notes in Artificial Intelligence},
volume =822,
keywords = {Declarative Debugging and Logic Programming},
url = {http://www.oakland.edu/~l2lu/pubs/DDLP.ps}
}