On the Complexity of the Theories of Weak Direct Powers

Charles Rackoff. On the Complexity of the Theories of Weak Direct Powers. Journal of Symbolic Logic, 41(3):561-573, 1976.

Abstract

Abstract is missing.