Proving termination of Prolog programs
| Title | Proving termination of Prolog programs |
| Publication Type | Conference Paper |
| Year of Publication | 1994 |
| Authors | Mascellani, P, Pedreschi, D |
| Conference Name | GULP-PRODE (1) |
| Title | Proving termination of Prolog programs |
| Publication Type | Conference Paper |
| Year of Publication | 1994 |
| Authors | Mascellani, P, Pedreschi, D |
| Conference Name | GULP-PRODE (1) |