@INPROCEEDINGS{MeseguerEtAl03,
  author =       {Jos{\'e} Meseguer and Miguel Palomino and
                  Narciso Mart{\'\i}-Oliet},
  title =        {Equational Abstractions},
  booktitle =    {Automated Deduction - CADE-19.
                  19th International Conference on Automated Deduction, 
                  Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  year =         2003,
  editor =       {Franz Baader},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
  volume =       2741,
  pages =        {2-16}
}