Basic completion strategies as another application of the Maude strategy language
Zeitschrift:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Datum der Publikation: 2011
Seiten: 17-36
Art: Konferenz-Beitrag