Termination of Algorithms over Non-freely Generated Data Types.

Claus Sengler Termination of Algorithms over Non-freely Generated Data Types. 121-135 1996 conf/cade/1996 CADE db/conf/cade/cade96.html#Sengler96 http://dx.doi.org/10.1007/3-540-61511-3_73