@InProceedings{BR20-KBO, Author = "Bhayat, A. and Reger, G.", Year = "2020", Title = "{A Knuth-Bendix-Like Ordering for Orienting Combinator Equations}", Editor = "Peltier, N. and Sofronie-Stokkermans, V.", BookTitle = "{Proceedings of the 10th International Joint Conference on Automated Reasoning}", Place = "Online", Series = "Lecture Notes in Artificial Intelligence", Number = "12166", Pages = "259-277", Comment = "" }