“A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT” (2025) KASU JOURNAL OF MATHEMATICAL SCIENCE (Maths Access), 1(2), pp. Page 1–13. Available at: https://mathsaccess.org.ng/index.php/kjms/article/view/16 (Accessed: 10 June 2026).