Basic completion strategies as another application of the Maude strategy language
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Año de publicación: 2011
Páginas: 17-36
Tipo: Aportación congreso