Implicit Rankings for Verifying Liveness Properties in First-Order Logic.

Raz Lotan, Sharon Shoham

Browse the full TACAS paper archive.