Basic completion strategies as another application of the Maude strategy language
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 2011
Pages: 17-36
Type: Conference paper