1994
A new definition of SLDNF-resolution
Publication
Publication
Journal of Logic Programming , Volume 18 - Issue 2 p. 177- 190
Additional Metadata | |
---|---|
north-holland | |
Journal of Logic Programming | |
Organisation | Logic and language |
Apt, K., & Doets, K. (1994). A new definition of SLDNF-resolution. Journal of Logic Programming, 18(2), 177–190. |