Klaus Denecke: Hybrid Identities and Hybrid Equational Logic. Math. Log. Q. 41: 190-196 (1995)