Associative-commutative unification

• 14 February 2006
• book chapter
• Published by Springer Nature
• p. 194-208
• https://doi.org/10.1007/bfb0047122

Abstract

Keywords

• ASSOCIATIVE-COMMUTATIVE UNIFICATION