Linear Ranking with Reachability.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Browse the full CAV paper archive.