Alferes. Diagnosis and debugging as contradiction removal (1993)

by L M Pereira, C Dam'asio, J J
Venue:2nd Int. Ws. on Logic Programming and NonMonotonic Reasoning