Alferes. Diagnosis and debugging as contradiction removal in logic programs (1993)

by L M Pereira, C V Damásio, J J
Venue:In Progress in Artificial Intelligence, volume 727 of LNAI, pages SAPTAWIJAYA AND PEREIRA 183–197