@inproceedings{Baader-UNIF-96,
  author = 	 {Baader, F.},
  title = 	 {Combination of Compatible Reduction Orderings 
		  that are Total on Ground Terms},
  booktitle = {Proceedings of the 10th International Workshop on Unification,
	       {UNIF-96}, CIS-Report 96-91},
  year = {1996},
  pages = {97--106},
  publisher = {CIS, Universit{\"a}t M{\"u}nchen},
  ccl = {yes}
}