@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},
}