Explaining SLDNF Resolution with Non-Normal Defaults.

Marco A. Casanova Andrea S. Hemerly Ramiro A. de T. Guerreiro Explaining SLDNF Resolution with Non-Normal Defaults. 18-31 1991 ICLP db/conf/iclp/iclp91.html#CasanovaHG91