Specification and proof in membership equational logic (0)

by A Bouhoula, J-P Jouannaud, J Meseguer
Venue:Theoretical Computer Science