@article{PlaceSegoufin:LMCS:2011,
    Author = {Place, Thomas and Segoufin, Luc},
    File = {A decidable characterization of locally testable tree languages - Place, Segoufin (0) (0) - a - a - w.pdf},
    Journal = {Logical Methods in Computer Science},
    Number = {4},
    Title = {A decidable characterization of locally testable tree languages},
    URL = {http://dx.doi.org/10.2168/LMCS-7(4:3)2011},
    Volume = {7},
    Year = {2011},
    bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-7(4:3)2011},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1109-5851},
    date-added = {2016-01-29 17:02:53 +0000},
    date-modified = {2016-01-29 17:03:02 +0000},
    timestamp = {Fri, 02 Dec 2011 14:17:38 +0100},
    doi = {10.2168/LMCS-7(4:3)2011}
}

@article{PlaceSegoufin:LMCS:2011, Author = {Place, Thomas and Segoufin, Luc}, File = {A decidable characterization of locally testable tree languages - Place, Segoufin (0) (0) - a - a - w.pdf}, Journal = {Logical Methods in Computer Science}, Number = {4}, Title = {A decidable characterization of locally testable tree languages}, URL = {http://dx.doi.org/10.2168/LMCS-7(4:3)2011}, Volume = {7}, Year = {2011}, bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-7(4:3)2011}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1109-5851}, date-added = {2016-01-29 17:02:53 +0000}, date-modified = {2016-01-29 17:03:02 +0000}, timestamp = {Fri, 02 Dec 2011 14:17:38 +0100}, doi = {10.2168/LMCS-7(4:3)2011} }