TY  - RPRT
TI  - Solving Equation Systems in $ω$-categorical Algebras
AU  - Manuel Bodirsky
AU  - Thomas Quinn-Gregson
PY  - 2020
UR  - https://arxiv.org/abs/1912.09815
ID  - 1912.09815
ER  -