DMCA

Termination Modulo Combinations of Equational Theories

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