@inproceedings{Montanari:2007:CMD:1270399.1271711,
    Address = {Washington, DC, USA},
    Author = {Montanari, Angelo and Puppis, Gabriele},
    BookTitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science},
    File = {A Contraction Method to Decide MSO Theories of Deterministic Trees - Montanari, Puppis (0) (0) - a - a - b.pdf},
    ISBN = {0-7695-2908-9},
    Keywords = {MSO},
    Pages = {141--150},
    Publisher = {IEEE Computer Society},
    Series = {LICS '07},
    Title = {A Contraction Method to Decide MSO Theories of Deterministic Trees},
    URL = {http://dx.doi.org/10.1109/LICS.2007.6},
    Year = {2007},
    acmid = {1271711},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2007.6},
    date-added = {2012-05-09 07:53:26 +0200},
    date-modified = {2012-05-09 05:53:36 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2007.6}
}

@inproceedings{Montanari:2007:CMD:1270399.1271711, Address = {Washington, DC, USA}, Author = {Montanari, Angelo and Puppis, Gabriele}, BookTitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science}, File = {A Contraction Method to Decide MSO Theories of Deterministic Trees - Montanari, Puppis (0) (0) - a - a - b.pdf}, ISBN = {0-7695-2908-9}, Keywords = {MSO}, Pages = {141--150}, Publisher = {IEEE Computer Society}, Series = {LICS '07}, Title = {A Contraction Method to Decide MSO Theories of Deterministic Trees}, URL = {http://dx.doi.org/10.1109/LICS.2007.6}, Year = {2007}, acmid = {1271711}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2007.6}, date-added = {2012-05-09 07:53:26 +0200}, date-modified = {2012-05-09 05:53:36 +0000}, numpages = {10}, doi = {10.1109/LICS.2007.6} }