@inproceedings{1509219,
    Author = {Leroux, J.},
    BookTitle = {Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on},
    File = {A polynomial time Presburger criterion and synthesis for number decision diagrams - Leroux (0) (0) - a - a - g.pdf},
    ISSN = {1043-6871},
    Keywords = {Presburger arithmetic and automata theory},
    Month = {june},
    Pages = {147 - 156},
    Title = {A polynomial time Presburger criterion and synthesis for number decision diagrams},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2005.2},
    date-added = {2012-11-20 18:22:37 +0000},
    date-modified = {2012-11-22 09:38:58 +0000},
    doi = {10.1109/LICS.2005.2}
}

@inproceedings{1509219, Author = {Leroux, J.}, BookTitle = {Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on}, File = {A polynomial time Presburger criterion and synthesis for number decision diagrams - Leroux (0) (0) - a - a - g.pdf}, ISSN = {1043-6871}, Keywords = {Presburger arithmetic and automata theory}, Month = {june}, Pages = {147 - 156}, Title = {A polynomial time Presburger criterion and synthesis for number decision diagrams}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2005.2}, date-added = {2012-11-20 18:22:37 +0000}, date-modified = {2012-11-22 09:38:58 +0000}, doi = {10.1109/LICS.2005.2} }