Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic | Publicación