Rewriting and narrowing for constructor systems with call-time choice semantics
ISSN: 1475-3081, 1471-0684
Year of publication: 2014
Volume: 14
Issue: 2
Pages: 165-213
Type: Article
ISSN: 1475-3081, 1471-0684
Year of publication: 2014
Volume: 14
Issue: 2
Pages: 165-213
Type: Article