Re: [Haskell-cafe] Associative Commutative Unification

John D. Ramsdell wrote:

...

Are you aware of "Term Rewriting and all That"? It describes how to do associative commutative unification; whether it satisfies your 'obviously correct' criterion I don't know.

Oh yes, I know about term rewriting.

I think Edsko was more specifically referring to the book "Term Rewriting and all That" by Baader and Nipkow. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de