Syntactic AC-Unification

Alexandre Boudet, Evelyne Contejean. Syntactic AC-Unification. In Jean-Pierre Jouannaud, editor, Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994. Volume 845 of Lecture Notes in Computer Science, pages 136-151, Springer, 1994.

Authors

Alexandre Boudet

This author has not been identified. Look up 'Alexandre Boudet' in Google

Evelyne Contejean

This author has not been identified. Look up 'Evelyne Contejean' in Google