Strong Termination for Gap-Order Constraint Abstractions of Counter Systems | Publicación