TY  - RPRT
TI  - Practical Methods for Proving Termination of General Logic Programs
AU  - E. Marchiori
PY  - 1996
UR  - https://arxiv.org/abs/cs/9604102
ID  - cs/9604102
ER  -