“A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT”. KASU JOURNAL OF MATHEMATICAL SCIENCE (Maths Access), vol. 1, no. 2, Mar. 2025, pp. Page 1-13, https://mathsaccess.org.ng/index.php/kjms/article/view/16.