Quantifiers on Demand.

Arie Gurfinkel, Sharon Shoham, Yakir Vizel

Browse the full ATVA paper archive.