Theory of Computation (2017)
Keywords: U15CST403