@INPROCEEDINGS{MPMea-03,
   author =       {Jos{\'e} Meseguer, Miguel Palomino, and Narciso Mart{\'\i}-Oliet},
   title =        {Equational Abstractions},
   note =         {Submitted for publication, January 2003},
   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}
}