Security and Rewriting (Dagstuhl Seminar 11332)

Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows. Security and Rewriting (Dagstuhl Seminar 11332). Dagstuhl Reports, 1(8):53-66, 2011. [doi]

@article{Comon-LundhKM11,
  title = {Security and Rewriting (Dagstuhl Seminar 11332)},
  author = {Hubert Comon-Lundh and Ralf Küsters and Catherine Meadows},
  year = {2011},
  doi = {10.4230/DagRep.1.8.53},
  url = {http://dx.doi.org/10.4230/DagRep.1.8.53},
  researchr = {https://researchr.org/publication/Comon-LundhKM11},
  cites = {0},
  citedby = {0},
  journal = {Dagstuhl Reports},
  volume = {1},
  number = {8},
  pages = {53-66},
}