A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT. KASU JOURNAL OF MATHEMATICAL SCIENCE (Maths Access), [S. l.], v. 1, n. 2, p. Page 1–13, 2025. Disponível em: https://mathsaccess.org.ng/index.php/kjms/article/view/16. Acesso em: 10 jun. 2026.