Quantifier Instantiations: To Mimic or To Revolt?

Open in new window