Journal of Automata, Languages and Combinatorics

@article{jalc160202,
  author  = {Siva Anantharaman and Paliath Narendran and Michael Rusinowitch},
  title   = {String Rewriting and Security Analysis: An Extension of a Result of Book and Otto},
  journal = jalc,
  year    = 2011,
  volume  = 16,
  number  = {2--4},
  pages   = {75--90}
}