Robert A. Kowalski Fariba Sadri Logic Programs with Exceptions. 387-400 1991 9 New Gener. Comput. 3/4 db/journals/ngc/ngc9.html#KowalskiS91 https://doi.org/10.1007/BF03037170