TY - RPRT TI - Equational Axiomatization of Algebras with Structure AU - Stefan Milius AU - Henning Urbat PY - 2019 UR - https://arxiv.org/abs/1812.02016 ID - 1812.02016 ER -