Kazda, Valeriote, 2019. Deciding some Maltsev conditions in finite idempotent algebras.