TY  - RPRT
TI  - Studying Algebraic Structures using Prover9 and Mace4
AU  - Rob Arthan
AU  - Paulo Oliva
PY  - 2019
UR  - https://arxiv.org/abs/1908.06479
ID  - 1908.06479
ER  -