Termination modulo combinations of equational theories (0)

by F Durán, S Lucas, J Meseguer
Venue:in FroCos, 2009