A new AC unification algorithm with an algorithm for solving systems of diophantine equations | IEEE Conference Publication | IEEE Xplore