@inproceedings{Jacquemard:Growing:1996,
    Author = {Jacquemard, Florent},
    BookTitle = {Proc. of RTA'96},
    Editor = {Ganzinger, Harald},
    File = {Decidable approximations of term rewriting systems - Jacquemard (0) (0) - a - a - j.pdf},
    ISBN = {978-3-540-61464-7},
    Keywords = {term rewriting systems},
    Pages = {362-376},
    Publisher = {Springer Berlin / Heidelberg},
    Series = {LNCS},
    Title = {Decidable approximations of term rewriting systems},
    URL = {http://dx.doi.org/10.1007/3-540-61464-8\_65},
    Volume = {1103},
    Year = {1996},
    affiliation = {Univ. Paris-Sud Laboratoire de Recherche en Informatique. CNRS URA 410 B{\^a}t. 490 91405 Orsay cedex France B{\^a}t. 490 91405 Orsay cedex France},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61464-8\_65},
    date-added = {2012-10-01 16:55:12 +0000},
    date-modified = {2014-05-30 09:45:28 +0000},
    keyword = {Computer Science},
    doi = {10.1007/3-540-61464-8_65}
}

@inproceedings{Jacquemard:Growing:1996, Author = {Jacquemard, Florent}, BookTitle = {Proc. of RTA'96}, Editor = {Ganzinger, Harald}, File = {Decidable approximations of term rewriting systems - Jacquemard (0) (0) - a - a - j.pdf}, ISBN = {978-3-540-61464-7}, Keywords = {term rewriting systems}, Pages = {362-376}, Publisher = {Springer Berlin / Heidelberg}, Series = {LNCS}, Title = {Decidable approximations of term rewriting systems}, URL = {http://dx.doi.org/10.1007/3-540-61464-8_65}, Volume = {1103}, Year = {1996}, affiliation = {Univ. Paris-Sud Laboratoire de Recherche en Informatique. CNRS URA 410 B{\^a}t. 490 91405 Orsay cedex France B{\^a}t. 490 91405 Orsay cedex France}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61464-8_65}, date-added = {2012-10-01 16:55:12 +0000}, date-modified = {2014-05-30 09:45:28 +0000}, keyword = {Computer Science}, doi = {10.1007/3-540-61464-8_65} }