Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction | UPT Perpustakaan UHAMKA