Linear Sampling and the forall exists forall Case of the Decision Problem

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},
}