@InProceedings{BruniMeseguer-03,
  author =       {Roberto Bruni and Jos{\'e} Meseguer},
  title =        {Generalized Rewrite Theories},
  booktitle = 	 {Automata, Languages and Programming. 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}
  pages = 	 {252--266},
  year = 	 {2003},
  editor = 	 {Jos C.~M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger},
  volume = 	 {2719},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}