TY  - RPRT
TI  - On Modular Termination Proofs of General Logic Programs
AU  - Annalisa Bossi
AU  - Nicoletta Cocco
AU  - Sandro Etalle
AU  - Sabina Rossi
PY  - 2001
DO  - 10.1017/s1471068402001382
UR  - https://arxiv.org/abs/cs/0005018
ID  - cs/0005018
ER  -