@incollection{LimetSalzer:2004,
    Author = {Limet, S{\'e}bastien and Salzer, Gernot},
    BookTitle = {Rewriting Techniques and Applications},
    Editor = {van Oostrom, Vincent},
    File = {Proving Properties of Term Rewrite Systems via Logic Programs - Limet, Salzer (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-22153-1},
    Language = {English},
    Pages = {170-184},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Proving Properties of Term Rewrite Systems via Logic Programs},
    URL = {http://dx.doi.org/10.1007/978-3-540-25979-4\_12},
    Volume = {3091},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-25979-4\_12},
    date-added = {2015-06-29 08:59:59 +0000},
    date-modified = {2015-06-29 08:59:59 +0000},
    doi = {10.1007/978-3-540-25979-4_12}
}

@incollection{LimetSalzer:2004, Author = {Limet, S{\'e}bastien and Salzer, Gernot}, BookTitle = {Rewriting Techniques and Applications}, Editor = {van Oostrom, Vincent}, File = {Proving Properties of Term Rewrite Systems via Logic Programs - Limet, Salzer (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-22153-1}, Language = {English}, Pages = {170-184}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Proving Properties of Term Rewrite Systems via Logic Programs}, URL = {http://dx.doi.org/10.1007/978-3-540-25979-4_12}, Volume = {3091}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-25979-4_12}, date-added = {2015-06-29 08:59:59 +0000}, date-modified = {2015-06-29 08:59:59 +0000}, doi = {10.1007/978-3-540-25979-4_12} }