Basic completion strategies as another application of the Maude strategy language
Revue:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Année de publication: 2011
Pages: 17-36
Type: Communication dans un congrès
