Modularity in many-sorted term rewriting systems

Additional Metadata
Publisher	Universiteit Utrecht
Series	Utrecht University report
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	van de Pol, J. (1992). Modularity in many-sorted term rewriting systems. In Utrecht University report (INF/SCR-92-37). Universiteit Utrecht.

Publication