Return to Article Details The Decision Problem for Segregated Formulas in First-Order Logic. Download Download PDF