@inproceedings{inproceedings, title = {{On automating the calculus of relations}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Hofner P and Struth G}}, volume = {{5195}}, journal = {{AUTOMATED REASONING, PROCEEDINGS}}, pages = {{50-66}}, note = {{Accessed on 2025/06/29}}}