@inproceedings{LRC2015,
  author    = {David A. Basin and
               Michel Keller and
               Sasa Radomirovic and
               Ralf Sasse},
  title     = {Alice and Bob Meet Equational Theories},
  booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
               Meseguer on the Occasion of His 65th Birthday},
  pages     = {160--180},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-23165-5_7},
  doi       = {10.1007/978-3-319-23165-5_7},
  editor    = {Narciso Mart{\'{\i}}{-}Oliet and
               Peter Csaba {\"{O}}lveczky and
               Carolyn L. Talcott},
  series    = {Lecture Notes in Computer Science},
  volume    = {9200},
  publisher = {Springer},
  year      = {2015}
}