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.

Abstract

Abstract is missing.