TY - RPRT TI - Axiomatization of Finite Algebras AU - Jochen Burghardt PY - 2014 UR - https://arxiv.org/abs/1403.7347 ID - 1403.7347 ER -