Syntax-guided quantifier instantiation
scientific article