@InProceedings{BD86, Author = "Bachmair, L. and Dershowitz, N.", Year = "1986", Title = "{Commutation, Transformation, and Termination}", Editor = "Siekmann, J.", BookTitle = "{Proceedings of the 8th International Conference on Automated Deduction}", Place = "Oxford, United Kingdom", Series = "Lecture Notes in Computer Science", Number = "230", Pages = "5-20", Publisher = "Springer-Verlag", Comment = "TPTPRef" }