TY  - RPRT
TI  - Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction
AU  - Manuel Bodirsky
AU  - Peter Jonsson
AU  - Timo von Oertzen
PY  - 2010
UR  - https://arxiv.org/abs/1005.1141
ID  - 1005.1141
ER  -