Further extensions of Clifford circuits and their classical simulation complexities
Introduction to the theory of computation