@inproceedings{lenglet:hal-01405792, TITLE = {{Expansion for Universal Quantifiers}}, AUTHOR = {Lenglet, Sergue{\"i} and Wells, J B}, URL = {https://inria.hal.science/hal-01405792}, BOOKTITLE = {{European Symposium On Programming (ESOP 2012)}}, ADDRESS = {Tallinn, Estonia}, PAGES = {456 - 475}, YEAR = {2012}, MONTH = Mar, DOI = {10.1007/978-3-642-28869-2\_23}, PDF = {https://inria.hal.science/hal-01405792/file/etaps_final.pdf}, HAL_ID = {hal-01405792}, HAL_VERSION = {v1}, }