TitleBi-Rewrite Systems
Publication TypeJournal Article
Year of Publication1996
AuthorsLevy J, Agustí-Cullell J
JournalJournal of Symbolic Computation
Volume22
Pagination279–314
URLhttp://dx.doi.org/10.1006/jsco.1996.0053
DOI10.1006/jsco.1996.0053