1996
Practical methods for proving termination of general logic programs
Publication
Publication
Journal of Artificial Intelligence Research , Volume 4 p. 179- 208
Additional Metadata | |
---|---|
, | |
AI Access Foundation | |
Journal of Artificial Intelligence Research | |
Marchiori, E. (1996). Practical methods for proving termination of general logic programs. Journal of Artificial Intelligence Research, 4, 179–208. |