Comments on: Proving non-looping non-termination automatically

Comments on: Proving non-looping non-termination automatically http://www.algosyn.rwth-aachen.de/wp-publications/emmesengergiesl2012/ hourly 1 http://wordpress.org/?v=3.6.1