@inproceedings{WING2010:Generalisation_Induction_Formulae_based,
author = {Angela Wallenburg},
title = {Generalisation of Induction Formulae based on Proving by Symbolic Execution},
booktitle = {WING 2010. Workshop on Invariant Generation 2010},
editor = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
series = {EPiC Series in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Bpc},
doi = {10.29007/72nn},
pages = {187-203},
year = {2012}}