ASSOCIATIVE-COMMUTATIVE REWRITING.

Nachum Dershowitz*, N. Alan Josephson, Jieh Hsiang, David A. Plaisted

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationUnknown Host Publication Title
EditorsAlan Bundy
Pages940-944
Number of pages5
StatePublished - 1983

Publication series

Name
Volume2

Cite this