Classes of terminating logic programs
| Title | Classes of terminating logic programs |
| Publication Type | Journal Article |
| Year of Publication | 2002 |
| Authors | Pedreschi, D, Ruggieri S, Smaus J-G |
| Journal | TPLP |
| Volume | 2 |
| Issue | 3 |
| Pagination | 369-418 |
Knowledge Discovery and Data Mining Laboratory
Istituto di Scienza e Tecnologie dell'Informazione, CNRDipartimento di Informatica, Università di Pisa