A comparison between two logical formalisms for rewriting
ISSN: 1471-0684, 1475-3081
Year of publication: 2007
Volume: 7
Issue: 1-2
Pages: 183-213
Type: Article
ISSN: 1471-0684, 1475-3081
Year of publication: 2007
Volume: 7
Issue: 1-2
Pages: 183-213
Type: Article