Stål Aanderaa, Harry R. Lewis. Linear Sampling and the forall exists forall Case of the Decision Problem. Journal of Symbolic Logic, 39(3):519-548, 1974.
@article{AanderaaL74, title = {Linear Sampling and the forall exists forall Case of the Decision Problem}, author = {Stål Aanderaa and Harry R. Lewis}, year = {1974}, researchr = {https://researchr.org/publication/AanderaaL74}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {39}, number = {3}, pages = {519-548}, }