@misc{10000,
  author = {Peter {\"O}lveczky and Olav Lysne},
  title = {Order-Sorted Termination: the Unsorted Way},
  year = {1996},
  journal = {Proceedings 5th International Conference on Algebraic and Logic Programming},
  pages = {92-106},
  publisher = {Springer-Verlag},
  address = {Aachen (Germany)},
}