Theory of Computation (2023)
Keywords: U18CST4003