Lightweight Nontermination Inference with CHCs | Publicación