LARA

Deciding Exists-Forall Class

What is Herbrand's interpretation of this class?

Complexity.

Complexity for bounded number of quantifiers.