A constructive decision procedure for equalities modulo AC

Cached

Download Links

by Quang Huy Nguyen , Loria Inria