@inproceedings{Kojima:2008:IRC:1427669.1427682,
    Address = {Berlin, Heidelberg},
    Author = {Kojima, Yoshiharu and Sakai, Masahiko},
    BookTitle = {Proc. of RTA'08},
    File = {Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems - Kojima, Sakai (0) (0) - a - a - k.pdf},
    ISBN = {978-3-540-70588-8},
    Location = {Hagenburg, Austria},
    Pages = {187--201},
    Publisher = {Springer-Verlag},
    Series = {RTA '08},
    Title = {Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems},
    URL = {http://dx.doi.org/10.1007/978-3-540-70590-1\_13},
    Year = {2008},
    acmid = {1427682},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70590-1\_13},
    date-added = {2015-06-29 09:21:26 +0000},
    date-modified = {2015-06-29 09:22:58 +0000},
    numpages = {15},
    doi = {10.1007/978-3-540-70590-1_13}
}

@inproceedings{Kojima:2008:IRC:1427669.1427682, Address = {Berlin, Heidelberg}, Author = {Kojima, Yoshiharu and Sakai, Masahiko}, BookTitle = {Proc. of RTA'08}, File = {Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems - Kojima, Sakai (0) (0) - a - a - k.pdf}, ISBN = {978-3-540-70588-8}, Location = {Hagenburg, Austria}, Pages = {187--201}, Publisher = {Springer-Verlag}, Series = {RTA '08}, Title = {Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems}, URL = {http://dx.doi.org/10.1007/978-3-540-70590-1_13}, Year = {2008}, acmid = {1427682}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70590-1_13}, date-added = {2015-06-29 09:21:26 +0000}, date-modified = {2015-06-29 09:22:58 +0000}, numpages = {15}, doi = {10.1007/978-3-540-70590-1_13} }