A lightweight approach to nontermination inference using Constrained Horn Clauses | Publicación