2025. A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT. KASU JOURNAL OF MATHEMATICAL SCIENCE (Maths Access). 1, 2 (Mar. 2025), Page 1–13.