%0 Journal Article
%T The existence of a near-unanimity function is decidable
%A Dmitriy Zhuk
%J Mathematics
%D 2011
%I arXiv
%X We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.
%U http://arxiv.org/abs/1108.1671v1