Second-order Quantifier Elimination: Mathematical Foundations, Computational Aspects and Applications Authors: Dov Gabbay, Renate Schmidt and Andrzej Sza.

• 二阶量词消除:数学基础,计算及应用。