TY  - RPRT
TI  - Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
AU  - Jason R. Koenig
AU  - Oded Padon
AU  - Sharon Shoham
AU  - Alex Aiken
PY  - 2021
UR  - https://arxiv.org/abs/2112.05304
ID  - 2112.05304
ER  -