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