@phdthesis {ND.3.LYSNE.1991,
	title = {Term Rewriting Techniques for Systems Based on Generator Induction},
	year = {1991},
	school = {Department of Informatics, University of Oslo},
	type = {phd},
	author = {Lysne, Olav}
}
