Charles Rackoff. On the Complexity of the Theories of Weak Direct Products: A Preliminary Report. In Conference Record of Sixth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1974, Seattle, Washington, USA. pages 149-160, ACM, 1974.
Abstract is missing.