@Inproceedings{EPTCS15.7,
  author    = {Zantema, Hans and Raffelsieper, Matthias},
  year      = {2010},
  title     = {Stream Productivity by Outermost Termination},
  editor    = {Fern\'andez, Maribel},
  booktitle = {{\rm Proceedings Ninth International Workshop on}
               Reduction Strategies in Rewriting and Programming,
               {\rm Brasilia, Brazil, 28th June 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {15},
  publisher = {Open Publishing Association},
  pages     = {83-95},
  doi       = {10.4204/EPTCS.15.7},
}