International Workshop on Reduction Strategies in Rewriting and Programming (workshop)

User Publication Person Organisation Collection