Thomas Eiter Wolfgang Faber Nicola Leone Gerald Pfeifer The Diagnosis Frontend of the dlv System. 99-111 1999 12 AI Commun. 1-2 db/journals/aicom/aicom12.html#EiterFLP99