minicomplexity
title The complexity of theorem-proving procedures
author Stephen A. Cook
meeting Symposium on Theory of Computing
year 1971
pages 151-158
topics none in minicomplexity
features – no record –
doi 10.1145/800157.805047