@misc {ND.7.LYSNE.1995.b,
	title = {Order-Sorted Termination: the Unsorted Way},
	howpublished = {Proceedings from NIK{\textquoteright}95: Norsk Informatikk Konferanse, Gran},
	year = {1995},
	author = {{\"O}lveczky, Peter Csaba and Lysne, Olav}
}
