@workingPaper{LoeckxMahr_1985,
title={A note on the equational calculus for many-sorted algebras with possibly empty carrier sets},
author={Loeckx, Jacques and Mahr, Bernd},
doi={http://dx.doi.org/10.22028/D291-26427},
year={1985}
}