Number of universal quantifiers and computational complexity: preliminary report

Etienne Grandjean. Number of universal quantifiers and computational complexity: preliminary report. SIGACT News, 14(3):30, 1982. [doi]

Abstract

Abstract is missing.