Handling Transitive Relations in First-Order Automated Reasoning. - Claessen, Koen; Lillieström, Ann (Journal of Automated Reasoning, 2021)