Explaining SLDNF Resolution with Non-Normal Defaults.

Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro

Browse the full ICLP paper archive.