Correct transformation of rewrite systems for implementation purposes

Additional Metadata
Publisher	Universiteit van Utrecht, Faculteit Wijsbegeerte
Series	Universiteit van Utrecht Logic Group Preprint Series
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W.& van de Pol, J. (1996). Correct transformation of rewrite systems for implementation purposes. In Universiteit van Utrecht Logic Group Preprint Series (164). Universiteit van Utrecht, Faculteit Wijsbegeerte.

Publication