TY  - RPRT
TI  - The Universal Theory of First Order Algebras and Various Reducts
AU  - Lawrence Valby
PY  - 2015
UR  - https://arxiv.org/abs/1403.1805
ID  - 1403.1805
ER  -