The Decision Problem - Solvable Classes of Quantified Formulas (1986)

by B Dreben, W Goldfarb
Venue:In Prec. 12th Int. Conf. on Very Large Data Bases (VLDB '86). Aug