@misc{11979,
  author = {Peter {\"O}lveczky and Olav Lysne},
  title = {Order-Sorted Termination: the Unsorted Way},
  year = {1995},
  journal = {Proceedings from NIK{\textquoteright}95: Norsk Informatikk Konferanse, Gran},
}