A.: Proving non-termination using max-SMT (2014)

by D Larraz, K Nimkar, A Oliveras, E Rodŕıguez-Carbonell, Rubio
Venue:In: CAV ’14. LNCS