@Inproceedings{EPTCS82.2,
  author    = {Verdejo, Alberto and Mart\'i-Oliet, Narciso},
  year      = {2012},
  title     = {Basic completion strategies as another application of the Maude strategy language},
  editor    = {Escobar, Santiago},
  booktitle = {{\rm Proceedings 10th International}
               Workshop on Reduction Strategies in Rewriting and Programming,
               {\rm Novi Sad, Serbia, 29 May 2011 }},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {82},
  publisher = {Open Publishing Association},
  pages     = {17-36},
  doi       = {10.4204/EPTCS.82.2},
}