Automated deduction with associative commutative operators

• Authors:

• Michaël Rusinowitch;Laurent Vigneron

• Affiliations:

• -;-

• Venue:
• FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
• Year:
• 1991