Deciding First-Order Satisfiability when Universal and Existential Variables are Separated.

Thomas Sturm, Marco Voigt, Christoph Weidenbach

Browse the full LICS paper archive.