Proving Non-looping Non-termination Automatically. - Fabian Emmes; Tim Enger; Jürgen Giesl (IJCAR, 2012)