Decidable locally finite discriminator varieties arising from dihedral varieties of groups

In this article we provide a complete classification of discriminator varieties of the form image, where image is a locally finite class of groups, closed under taking subgroups, which is contained in image (p>2) and whose first-order theory is decidable.