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