Skrivet av Dov M. Gabbay

• Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications