Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. - Sean McLaughlin; Clark W. Barrett; Yeting Ge (PDPAR@CAV, 2005)

Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. - Yeting Ge; Leonardo Mendonça de Moura (CAV, 2009)

Solving quantified verification conditions using satisfiability modulo theories. - Yeting Ge; Clark W. Barrett; Cesare Tinelli (Ann. Math. Artif. Intell., 2009)

Solving Quantified First Order Formulas in Satisfiability Modulo Theories. - Yeting Ge (2010)

Instantiation-Based Invariant Discovery. - Temesghen Kahsai; Yeting Ge; Cesare Tinelli (NASA Formal Methods, 2011)