@inproceedings{113750,
    Author = {Dauchet, M. and Tison, S.},
    BookTitle = {Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e},
    File = {The theory of ground rewrite systems is decidable - Dauchet, Tison (0) (0) - a - a - u.pdf},
    Keywords = {term rewriting systems and ground rewriting systems},
    Month = {jun},
    Pages = {242 -248},
    Title = {The theory of ground rewrite systems is decidable},
    Year = {1990},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1990.113750},
    date-added = {2012-09-28 15:22:31 +0000},
    date-modified = {2012-10-26 09:26:02 +0000},
    doi = {10.1109/LICS.1990.113750}
}

@inproceedings{113750, Author = {Dauchet, M. and Tison, S.}, BookTitle = {Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e}, File = {The theory of ground rewrite systems is decidable - Dauchet, Tison (0) (0) - a - a - u.pdf}, Keywords = {term rewriting systems and ground rewriting systems}, Month = {jun}, Pages = {242 -248}, Title = {The theory of ground rewrite systems is decidable}, Year = {1990}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1990.113750}, date-added = {2012-09-28 15:22:31 +0000}, date-modified = {2012-10-26 09:26:02 +0000}, doi = {10.1109/LICS.1990.113750} }