Hai-Ping Ko, Mark E. Nadel. Substitution and Refutation Revisited. In ICLP. pages 679-692, 1991.
@inproceedings{KoN91,
title = {Substitution and Refutation Revisited},
author = {Hai-Ping Ko and Mark E. Nadel},
year = {1991},
tags = {e-science},
researchr = {https://researchr.org/publication/KoN91},
cites = {0},
citedby = {0},
pages = {679-692},
booktitle = {ICLP},
}