Specification and proof in membership equational logic (2000)

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