Universiteit van Utrecht, Faculteit Wijsbegeerte
Universiteit van Utrecht Logic Group Preprint Series

Fokkink, W., & van de Pol, J. (1996). Correct transformation of rewrite systems for implementation purposes. Universiteit van Utrecht Logic Group Preprint Series. Universiteit van Utrecht, Faculteit Wijsbegeerte.