Logical Diagnosis of LDL Programs.

Oded Shmueli, Shalom Tsur

Browse the full ICLP paper archive.