Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro. Explaining SLDNF resolution with non-normal defaults. IBM Journal of Research and Development, 36(3):347-360, 1992.
@article{CasanovaHG92,
title = {Explaining SLDNF resolution with non-normal defaults},
author = {Marco A. Casanova and Andrea S. Hemerly and Ramiro A. de T. Guerreiro},
year = {1992},
researchr = {https://researchr.org/publication/CasanovaHG92},
cites = {0},
citedby = {0},
journal = {IBM Journal of Research and Development},
volume = {36},
number = {3},
pages = {347-360},
}