@INPROCEEDINGS{ClavelEtAl04,
  author =       {Manuel Clavel and Miguel Palomino and Juan Santa-Cruz},
  title =        {Integrating Decision Procedures in Reflective
                  Rewriting-Based Theorem Provers},
  editor =       {Sergio Antoy and Yoshihito Toyama},
  booktitle =    {Fourth International Workshop on Reduction Strategies in
                  Rewriting and Programming},
  year =         2004,
  pages =        {15-24},
  note =         {Technical report AIB-2004-06, Department of Computer Science, 
                  RWTH, Aachen}
}