Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. A lightweight approach to nontermination inference using Constrained Horn Clauses. Software and Systems Modeling, 23(2):319-342, April 2024. [doi]
Abstract is missing.