TY  - RPRT
TI  - A General Framework for Automatic Termination Analysis of Logic Programs
AU  - Nachum Dershowitz
AU  - Naomi Lindenstrauss
AU  - Yehoshua Sagiv
AU  - Alexander Serebrenik
PY  - 2000
UR  - https://arxiv.org/abs/cs/0012008
ID  - cs/0012008
ER  -