A New Characterisation of AC-Termination and Application.

Jean-Michel Gélis A New Characterisation of AC-Termination and Application. 124-143 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#Gelis94