Termination Modulo Combinations of Equational Theories

by Francisco Durán , Salvador Lucas , José Meseguer
Citations:6 - 5 self