Y.: On proving AC-termination by AC-dependency pairs (2001)

by K Kusakari, Toyama
Venue:IEICE Transactions on Information and Systems