@inproceedings{LICS-1997-Baader,
	author        = "Franz Baader",
	booktitle     = "{Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science}",
	doi           = "10.1109/LICS.1997.614917",
	isbn          = "0-8186-7925-5",
	pages         = "2--13",
	publisher     = "{IEEE Computer Society}",
	title         = "{Combination of Compatible Reduction Orderings that are Total on Ground Terms}",
	year          = 1997,
}