Perpetual reductions and strong normalization in orthogonal term rewriting systems

Additional Metadata
Publisher	CWI
Series	Department of Computer Science [CS]
Organisation	Computer Systems & Telematics
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	Khasidashvili, Z. (1993). Perpetual reductions and strong normalization in orthogonal term rewriting systems. In Department of Computer Science [CS] (R 9345). CWI.

Publication