Logic programs with exceptions (1990)

by R A Kowalski, F Sadri
Venue:Proc. ICLP 1990, MIT PTess