_id,doi,title 4521,10.1145/1328438.1328459,Proving non-termination