Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete (1990)

by D A Basin
Venue:In 10 th International Conference on Automated Deduction