Author(s): Ashok K. Chandra , Dexter C. Kozen , Larry J. Stockmeyer
Publication date (Print): January 1981
Journal: Journal of the ACM