## Richard A. DeMillo, Richard J. Lipton

*Some Connections between Mathematical Logic and Complexity Theory*

STOC, 1979.

@inproceedings{STOC-1979-DeMilloL, author = "Richard A. DeMillo and Richard J. Lipton", booktitle = "{Proceedings of the 11th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800135.804408", pages = "153--159", publisher = "{ACM}", title = "{Some Connections between Mathematical Logic and Complexity Theory}", year = 1979, }