Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.

Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken

Browse the full TACAS paper archive.