Term Rewriting Techniques for Systems Based on Generator InductionAuthorsO. LysneStatusPublishedPublication typeThesisYear of publication1991Journal-PublisherDepartment of Informatics, University of OsloCitation key12804Google Scholar BibTex