“A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT”, KJMS, vol. 1, no. 2, pp. Page 1–13, Mar. 2025, Accessed: Jun. 10, 2026. [Online]. Available: https://mathsaccess.org.ng/index.php/kjms/article/view/16