@inproceedings{Thomas:2008:MTD:1432050.1432054,
    Address = {Berlin, Heidelberg},
    Author = {Thomas, Wolfgang},
    BookTitle = {Proceedings of the 22Nd International Workshop on Computer Science Logic},
    File = {Model Transformations in Decidability Proofs for Monadic Theories - Thomas (1) (0) - a - a - s.pdf},
    ISBN = {978-3-540-87530-7},
    Location = {Bertinoro, Italy},
    Pages = {23--31},
    Publisher = {Springer-Verlag},
    Series = {CSL '08},
    Title = {Model Transformations in Decidability Proofs for Monadic Theories},
    URL = {http://dx.doi.org/10.1007/978-3-540-87531-4\_3},
    Year = {2008},
    acmid = {1432054},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-87531-4\_3},
    date-added = {2013-11-15 12:48:09 +0000},
    date-modified = {2013-11-15 12:48:09 +0000},
    file-2 = {Model Transformations in Decidability Proofs for Monadic Theories - Thomas (0) (0) - a - a - s.pdf},
    numpages = {9},
    doi = {10.1007/978-3-540-87531-4_3}
}

@inproceedings{Thomas:2008:MTD:1432050.1432054, Address = {Berlin, Heidelberg}, Author = {Thomas, Wolfgang}, BookTitle = {Proceedings of the 22Nd International Workshop on Computer Science Logic}, File = {Model Transformations in Decidability Proofs for Monadic Theories - Thomas (1) (0) - a - a - s.pdf}, ISBN = {978-3-540-87530-7}, Location = {Bertinoro, Italy}, Pages = {23--31}, Publisher = {Springer-Verlag}, Series = {CSL '08}, Title = {Model Transformations in Decidability Proofs for Monadic Theories}, URL = {http://dx.doi.org/10.1007/978-3-540-87531-4_3}, Year = {2008}, acmid = {1432054}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-87531-4_3}, date-added = {2013-11-15 12:48:09 +0000}, date-modified = {2013-11-15 12:48:09 +0000}, file-2 = {Model Transformations in Decidability Proofs for Monadic Theories - Thomas (0) (0) - a - a - s.pdf}, numpages = {9}, doi = {10.1007/978-3-540-87531-4_3} }