@inproceedings{705664,
    Author = {Comon, H. and Narendran, P. and Nieuwenhuis, R. and Rusinowitch, M.},
    BookTitle = {Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on},
    File = {Decision problems in ordered rewriting - Comon, Narendran, Nieuwenhuis, Rusinowitch (0) (0) - a - a - p.pdf},
    ISSN = {1043-6871},
    Keywords = {decidability;rewriting systems;commutativity;confluence;decidability;decision problems;ground reducibility;ordered rewriting;ordering constraints;reduction ordering;term rewrite system;Equations;Large scale integration;Logic programming},
    Month = {Jun},
    Pages = {276-286},
    Title = {Decision problems in ordered rewriting},
    Year = {1998},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1998.705664},
    date-added = {2014-04-07 09:22:20 +0000},
    date-modified = {2014-04-07 09:22:20 +0000},
    doi = {10.1109/LICS.1998.705664}
}

@inproceedings{705664, Author = {Comon, H. and Narendran, P. and Nieuwenhuis, R. and Rusinowitch, M.}, BookTitle = {Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on}, File = {Decision problems in ordered rewriting - Comon, Narendran, Nieuwenhuis, Rusinowitch (0) (0) - a - a - p.pdf}, ISSN = {1043-6871}, Keywords = {decidability;rewriting systems;commutativity;confluence;decidability;decision problems;ground reducibility;ordered rewriting;ordering constraints;reduction ordering;term rewrite system;Equations;Large scale integration;Logic programming}, Month = {Jun}, Pages = {276-286}, Title = {Decision problems in ordered rewriting}, Year = {1998}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1998.705664}, date-added = {2014-04-07 09:22:20 +0000}, date-modified = {2014-04-07 09:22:20 +0000}, doi = {10.1109/LICS.1998.705664} }