Term equational systems and logics: (extended abstract (2008)

by M P Fiore, C-K Hur
Venue:Electr. Notes Theor. Comput. Sci