TY  - RPRT
TI  - Termination analysis of logic programs using acceptability with general term orders
AU  - Alexander Serebrenik
AU  - Danny De Schreye
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011025
ID  - cs/0011025
ER  -