Journal of Automata, Languages and Combinatorics formerly:
|
@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} }