@InProceedings{AhrendtRothSasse05,
  author = 	 {Wolfgang Ahrendt and Andreas Roth and Ralf Sasse},
  title = 	 {Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics},
  booktitle =	 {Proceedings, 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Montego Bay, Jamaica},
  year =	 2005,
  editor =	 {Geoff Sutcliff and Andrei Voronkov},
  series =	 {LNCS},
  pages =        {412--426},
  volume =       3835, 
  month =	 {Dec},
  publisher =	 {Springer},
}