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