Theory of Computation (2018)
Keywords: U15CST403