Proving Non-termination Using Max-SMT. - Daniel Larraz; Kaustubh Nimkar; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (CAV, 2014)

Disproving termination with overapproximation. - Byron Cook; Carsten Fuhs; Kaustubh Nimkar; Peter W. O'Hearn (FMCAD, 2014)

Proving Nontermination via Safety. - Hong Yi Chen; Byron Cook; Carsten Fuhs; Kaustubh Nimkar; Peter W. O'Hearn (TACAS, 2014)

Embracing Overapproximation for Proving Nontermination. - Byron Cook; Carsten Fuhs; Kaustubh Nimkar; Peter W. O'Hearn (Adv. Math. Commun., 2015)