TY  - RPRT
TI  - Automated Termination Analysis for Logic Programs with Cut
AU  - Peter Schneider-Kamp
AU  - Jürgen Giesl
AU  - Thomas Ströder
AU  - Alexander Serebrenik
AU  - René Thiemann
PY  - 2010
DO  - 10.1017/s1471068410000165
UR  - https://arxiv.org/abs/1007.4908
ID  - 1007.4908
ER  -