Yaqiao Li Ali Mohammad Lavasani Denis Pankratov 2026 116195 1085 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2026.116195 db/journals/tcs/tcs1085.html#LiLP26 streams/journals/tcs