Статья

Moore, Matthew.
The undecidability of the definability of principal subcongruences / M. Moore // The Journal of Symbolic Logic. – 2015. – Vol.80, № 2. – P. 384-432.