Termination Modulo Combinations of Equational Theories

Cached

Download Links

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