@article{Bojanczyk:IPL:2007,
    Abstract = {A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is shorter. The proof idea is to restate the problem in Presburger arithmetic.},
    Author = {Boja{\'n}czyk, Miko{{\l}}aj},
    File = {A new algorithm for testing if a regular language is locally threshold testable - Bojańczyk (0) (0) - a - a - q.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Formal languages},
    Number = {3},
    Pages = {91--94},
    Title = {A new algorithm for testing if a regular language is locally threshold testable},
    URL = {http://www.sciencedirect.com/science/article/pii/S002001900700141X},
    Volume = {104},
    Year = {2007},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S002001900700141X},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2007.05.015},
    date-added = {2016-01-29 17:06:43 +0000},
    date-modified = {2016-01-29 17:06:56 +0000},
    doi = {10.1016/j.ipl.2007.05.015}
}

@article{Bojanczyk:IPL:2007, Abstract = {A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is shorter. The proof idea is to restate the problem in Presburger arithmetic.}, Author = {Boja{\'n}czyk, Miko{{\l}}aj}, File = {A new algorithm for testing if a regular language is locally threshold testable - Bojańczyk (0) (0) - a - a - q.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Formal languages}, Number = {3}, Pages = {91--94}, Title = {A new algorithm for testing if a regular language is locally threshold testable}, URL = {http://www.sciencedirect.com/science/article/pii/S002001900700141X}, Volume = {104}, Year = {2007}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S002001900700141X}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2007.05.015}, date-added = {2016-01-29 17:06:43 +0000}, date-modified = {2016-01-29 17:06:56 +0000}, doi = {10.1016/j.ipl.2007.05.015} }