Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover: Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) 2016: 271-291