ASSOCIATIVE-COMMUTATIVE REWRITING.

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

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