@TechReport{BJMmembeq_1998,
  author = 	 {A. Bouhoula and J.-P. Jouannaud and J. Meseguer},
  title = 	 {Specification and Proof in Membership Equational Logic},
  institution =  {SRI International},
  year = 	 {1988},
}