An SMT-based approach to fair termination analysis | Publicación