Formal Reduction of the General Combinatorial Decision Problem (1943)

by E Post
Venue:American Journal of Mathematics