Ta Chen;Siva Anantharaman
-;-
Single Elementary Associative-Commutative Matching
Journal of Automated Reasoning