@article{Choffrut:Grigorieff:IPL:2006,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Choffrut, Christian and Grigorieff, Serge},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {automata, formal languages, recognizability, separability},
    Month = {July},
    Number = {1},
    Pages = {27--32},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Separability of Rational Relations in {$A^* \times \mathbb N^m$} by Recognizable Relations is Decidable},
    URL = {http://dx.doi.org/10.1016/j.ipl.2005.09.018},
    Volume = {99},
    Year = {2006},
    acmid = {1149076},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2005.09.018},
    date-added = {2016-01-25 15:27:30 +0000},
    date-modified = {2016-01-26 13:53:11 +0000},
    issue_date = {16 July 2006},
    numpages = {6},
    doi = {10.1016/j.ipl.2005.09.018}
}

@article{Choffrut:Grigorieff:IPL:2006, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Choffrut, Christian and Grigorieff, Serge}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {automata, formal languages, recognizability, separability}, Month = {July}, Number = {1}, Pages = {27--32}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Separability of Rational Relations in {$A^* \times \mathbb N^m$} by Recognizable Relations is Decidable}, URL = {http://dx.doi.org/10.1016/j.ipl.2005.09.018}, Volume = {99}, Year = {2006}, acmid = {1149076}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2005.09.018}, date-added = {2016-01-25 15:27:30 +0000}, date-modified = {2016-01-26 13:53:11 +0000}, issue_date = {16 July 2006}, numpages = {6}, doi = {10.1016/j.ipl.2005.09.018} }