@InProceedings{HS08, Author = "H{\"o}fner, P. and Struth, G.", Year = "2008", Title = "{On Automating the Calculus of Relations}", Editor = "Baumgartner, P. and Armando, A. and Dowek, G.", BookTitle = "{Proceedings of the 4th International Joint Conference on Automated Reasoning}", Place = "Sydney, Australia", Series = "Lecture Notes in Artificial Intelligence", Number = "5195", Pages = "50-66", Comment = "TPTPRef" }