Scientific publication Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 28 juni 2009
['Hans Zantema', 'M Matthias Raffelsieper']
Stream productivity by outermost termination