Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. - Blanchette, Jasmin Christian; Claessen, Koen (2010)