@incollection{Rose:1993,
    Author = {Rose, Kristoffer H{\o}gsbro},
    BookTitle = {Conditional Term Rewriting Systems},
    Editor = {Rusinowitch, Micha{\"e}l and R{\'e}my, Jean-Luc},
    File = {Explicit cyclic substitutions - Rose (0) (0) - a - a - m.pdf},
    ISBN = {978-3-540-56393-8},
    Pages = {36-50},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Explicit cyclic substitutions},
    URL = {http://dx.doi.org/10.1007/3-540-56393-8\_3},
    Volume = {656},
    Year = {1993},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-56393-8\_3},
    date-added = {2014-01-25 09:31:54 +0000},
    date-modified = {2014-01-25 09:31:54 +0000},
    doi = {10.1007/3-540-56393-8_3}
}

@incollection{Rose:1993, Author = {Rose, Kristoffer H{\o}gsbro}, BookTitle = {Conditional Term Rewriting Systems}, Editor = {Rusinowitch, Micha{\"e}l and R{\'e}my, Jean-Luc}, File = {Explicit cyclic substitutions - Rose (0) (0) - a - a - m.pdf}, ISBN = {978-3-540-56393-8}, Pages = {36-50}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Explicit cyclic substitutions}, URL = {http://dx.doi.org/10.1007/3-540-56393-8_3}, Volume = {656}, Year = {1993}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-56393-8_3}, date-added = {2014-01-25 09:31:54 +0000}, date-modified = {2014-01-25 09:31:54 +0000}, doi = {10.1007/3-540-56393-8_3} }