Equational Reasoning using AC Constraints.

David A. Plaisted, Yunshan Zhu

Browse the full IJCAI paper archive.