@article{Rahn:2008:MDI:1349909.1350347,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Rahn, Mirko},
    File = {More decidable instances of Post's correspondence problem beyond counting - Rahn (0) (0) - a - a - n.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {Post correspondence problem},
    Month = {April},
    Number = {3},
    Pages = {115--119},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {More decidable instances of Post's correspondence problem: beyond counting},
    URL = {http://dx.doi.org/10.1016/j.ipl.2007.11.002},
    Volume = {106},
    Year = {2008},
    acmid = {1350347},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2007.11.002},
    date-added = {2013-10-05 21:24:16 +0000},
    date-modified = {2013-10-07 08:34:48 +0000},
    issue_date = {April, 2008},
    numpages = {5},
    doi = {10.1016/j.ipl.2007.11.002}
}

@article{Rahn:2008:MDI:1349909.1350347, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Rahn, Mirko}, File = {More decidable instances of Post's correspondence problem beyond counting - Rahn (0) (0) - a - a - n.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {Post correspondence problem}, Month = {April}, Number = {3}, Pages = {115--119}, Publisher = {Elsevier North-Holland, Inc.}, Title = {More decidable instances of Post's correspondence problem: beyond counting}, URL = {http://dx.doi.org/10.1016/j.ipl.2007.11.002}, Volume = {106}, Year = {2008}, acmid = {1350347}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2007.11.002}, date-added = {2013-10-05 21:24:16 +0000}, date-modified = {2013-10-07 08:34:48 +0000}, issue_date = {April, 2008}, numpages = {5}, doi = {10.1016/j.ipl.2007.11.002} }