"Liveness Checking as Safety Checking for Infinite State Spaces."

Viktor Schuppan, Armin Biere (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics