@article{Otto1987285,
    Author = {Otto, Friedrich},
    File = {On deciding the confluence of a finite string-rewriting system on a given congruence class - Otto (0) (0) - a - a - a.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Number = {3},
    Pages = {285 - 310},
    Title = {On deciding the confluence of a finite string-rewriting system on a given congruence class},
    URL = {http://www.sciencedirect.com/science/article/pii/0022000087900171},
    Volume = {35},
    Year = {1987},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000087900171},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(87)90017-1},
    date-added = {2014-02-19 09:27:45 +0000},
    date-modified = {2014-02-19 09:27:45 +0000},
    doi = {10.1016/0022-0000(87)90017-1}
}

@article{Otto1987285, Author = {Otto, Friedrich}, File = {On deciding the confluence of a finite string-rewriting system on a given congruence class - Otto (0) (0) - a - a - a.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Number = {3}, Pages = {285 - 310}, Title = {On deciding the confluence of a finite string-rewriting system on a given congruence class}, URL = {http://www.sciencedirect.com/science/article/pii/0022000087900171}, Volume = {35}, Year = {1987}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000087900171}, bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(87)90017-1}, date-added = {2014-02-19 09:27:45 +0000}, date-modified = {2014-02-19 09:27:45 +0000}, doi = {10.1016/0022-0000(87)90017-1} }