Formal reductions of the general combinatorial decision problem (1943)

by E L Post
Venue:American Journal of Mathematics