Reasoning about Termination of Pure Prolog Programs
| Title | Reasoning about Termination of Pure Prolog Programs |
| Publication Type | Journal Article |
| Year of Publication | 1993 |
| Authors | Apt, KR, Pedreschi, D |
| Journal | Inf. Comput. |
| Volume | 106 |
| Issue | 1 |
| Pagination | 109-157 |