Shmueli, Oded ; Shalom Tsur: Logical Diagnosis of LDL Programs. ICLP 1990: 112-129
(1990)
Languages mentioned
LDL
{1984}