A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets

Hartmut Ehrig, Jacques Loeckx, Bernd Mahr. A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bulletin of the EATCS, 30:61-65, 1986.

Abstract

Abstract is missing.