@inproceedings{SeidlGS14, author = {Helmut Seidl and Thomas Martin Gawlitza and Martin S. Schwarz}, title = {Parametric {S}trategy {I}teration}, booktitle = {6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014}, editor = {Temur Kutsia and Andrei Voronkov}, year = 2014, pages = {62--76}, series = {EPiC Series in Computing}, volume = {30}, publisher = {EasyChair}, }