"Structure of decidable locally finite varieties."

Ralph McKenzie, Matthew Valeriote (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics