Specifying rewrite strategies for interactive exercises (0)

by B Heeren, J Jeuring, A Gerdes
Venue:Mathematics in Computer Science