@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 2024/12/25}}}