Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.

Jasmin Christian Blanchette, Koen Claessen

Browse the full LPAR paper archive.