Found. Redirecting to http://oadoi.org/10.1016/J.TCS.2025.115586