Deepak Kapur G. Sivakumar A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. 142-156 1997 conf/rta/1997 RTA db/conf/rta/rta97.html#KapurS97 http://dx.doi.org/10.1007/3-540-62950-5_67