Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro
Explaining SLDNF Resolution with Non-Normal Defaults
ICLP, 1991.
@inproceedings{ICLP-1991-CasanovaHG, author = "Marco A. Casanova and Andrea S. Hemerly and Ramiro A. de T. Guerreiro", booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}", isbn = "0-262-56058-5", pages = "18--31", publisher = "{MIT Press}", title = "{Explaining SLDNF Resolution with Non-Normal Defaults}", year = 1991, }