ALOGTIME and a conjecture of S. A. Cook
scientific article; zbMATH DE number 1005821
scientific article