Title: Second-order quantifier elimination
Subjects: Symbolic and mathematical Logic, Knowledge representation (information theory)