@phdthesis{12804, author = {Olav Lysne}, title = {Term Rewriting Techniques for Systems Based on Generator Induction}, year = {1991}, publisher = {Department of Informatics, University of Oslo}, }