@inbook{Valeriote1997,
    Abstract = {I will discuss the progress that has been made on solving two open problems dealing with the decidability of the first order theory of equationally defined classes of algebras (varieties).},
    Address = {Dordrecht},
    Author = {Valeriote, Matthew A.},
    BookTitle = {Algebraic Model Theory},
    Editor = {Hart, Bradd T. and Lachlan, Alistair H. and Valeriote, Matthew A.},
    File = {Decidable Equational Classes - nato (0) - a - a - x.pdf},
    ISBN = {978-94-015-8923-9},
    Pages = {207--221},
    Publisher = {Springer Netherlands},
    Title = {Decidable Equational Classes},
    URL = {https://doi.org/10.1007/978-94-015-8923-9\_10},
    Year = {1997},
    bdsk-url-1 = {https://doi.org/10.1007/978-94-015-8923-9\_10},
    date-added = {2019-10-17 16:05:15 +0200},
    date-modified = {2019-10-17 16:05:15 +0200},
    doi = {10.1007/978-94-015-8923-9_10}
}

@inbook{Valeriote1997, Abstract = {I will discuss the progress that has been made on solving two open problems dealing with the decidability of the first order theory of equationally defined classes of algebras (varieties).}, Address = {Dordrecht}, Author = {Valeriote, Matthew A.}, BookTitle = {Algebraic Model Theory}, Editor = {Hart, Bradd T. and Lachlan, Alistair H. and Valeriote, Matthew A.}, File = {Decidable Equational Classes - nato (0) - a - a - x.pdf}, ISBN = {978-94-015-8923-9}, Pages = {207--221}, Publisher = {Springer Netherlands}, Title = {Decidable Equational Classes}, URL = {https://doi.org/10.1007/978-94-015-8923-9_10}, Year = {1997}, bdsk-url-1 = {https://doi.org/10.1007/978-94-015-8923-9_10}, date-added = {2019-10-17 16:05:15 +0200}, date-modified = {2019-10-17 16:05:15 +0200}, doi = {10.1007/978-94-015-8923-9_10} }