Comments on: Automated termination analysis for logic programs with cut

Comments on: Automated termination analysis for logic programs with cut http://www.algosyn.rwth-aachen.de/wp-publications/schneider-kampgieslstroederserebrenikthiemann2010/ hourly 1 http://wordpress.org/?v=3.6.1