Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization The Association for the Advancement of Artificial Intelligence
Further spread of the invasive apricot aphid Myzus mumecola (Hemiptera: Aphididae) in Central Europe and first insights into its phylogeny Wiley Online Library