1996
On termination of general logic programs w.r.t. constructive negation
Publication
Publication
Journal of Logic Programming , Volume 26 - Issue 1 p. 69- 89
Additional Metadata | |
---|---|
north-holland | |
Journal of Logic Programming | |
Marchiori, E. (1996). On termination of general logic programs w.r.t. constructive negation. Journal of Logic Programming, 26(1), 69–89. |