@article{blass1986henkin,
author = {Blass, Andreas and Gurevich, Yuri},
title = {Henkin Quantifiers and Complete Problems},
year = {1986},
month = {April},
abstract = {We show that almost any non-linear quantifier, applied to quantifier-free first-order formulas, suffices to express an NP- complete predicate; the remaining non-linear quantifiers express exactly co-NL predicates (NL is Nondeterministic Log-space).},
url = {http://approjects.co.za/?big=en-us/research/publication/henkin-quantifiers-complete-problems/},
pages = {1-16},
journal = {Annals of Pure and Applied Logic 32 (1986), 1-16},
volume = {32},
}