Geonhee Kim, Marco Valentino, André Freitas: Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference. ACL (Findings) 2025: 10074-10095