Matthew Valeriote. On Solvable Congruences in Finitely Decidable Varieties. Math. Log. Q., 40:398-414, 1994.
@article{Valeriote94, title = {On Solvable Congruences in Finitely Decidable Varieties}, author = {Matthew Valeriote}, year = {1994}, researchr = {https://researchr.org/publication/Valeriote94}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {40}, pages = {398-414}, }