Double-exponential complexity of computing a complete set of AC-unifiers | IEEE Conference Publication | IEEE Xplore