[Haskell-cafe] Associative Commutative Unification

[Janis Voigtlaender]

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 at tcs.inf.tu-dresden.de