@inproceedings{inproceedings, title = {{Deriving Focused Calculi for Transitive Relations.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/3-540-45127-7 }}, year = {{2001}}, month = {{1}}, author = {{Struth G}}, volume = {{2051}}, journal = {{RTA}}, pages = {{291-305}}, note = {{Accessed on 2025/06/24}}}