Article Takedown/Update Request

This is an update request for the document Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic by Manuel Clavel, José Meseguer and Miguel Palomino

Your paper was deposited in MUCC (Crossref) and appears online at https://doi.org/10.1016/j.tcs.2006.12.009
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.