A logical approach to the problem of P=NP (1980)

by Sazonov
Venue:In Proc. 9th Conf. on Math. Found. of Computer Science