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