Formal Abductive Explanations for Navigating Mental Health Help-Seeking and Diversity in Tech Workplaces. - Belona Sonna; Alain Momo; Alban Grastien (CoRR, 2026)