Proving Cutoff Bounds for Safety Properties in First-Order Logic.

Raz Lotan, Eden Frenkel, Sharon Shoham

Browse the full ATVA paper archive.