Logic programs with exceptions (1990)

by R Kowalski, F Sadri
Venue:Logic Programming: Proc. of the Seventh Int'l Conf