Orderings for term-rewriting systems /
Nachum Dershowitz.
APA Citation
Dershowitz, N., University of Illinois at Urbana-Champaign. Dept. of Computer Science., National Science Foundation (U.S.). (1979). Orderings for term-rewriting systems. Urbana, Illinois: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
MLA Citation
Dershowitz, Nachum, University of Illinois at Urbana-Champaign. Dept. of Computer Science, and National Science Foundation (U.S.). Orderings for Term-rewriting Systems. Urbana, Illinois: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979.