Uwe Schöning
Institut für Informatik der Universität Stuttgart, Stuttgart, Germany
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing