Finding Counter Examples in Induction Proofs.

Koen Claessen, Hans Svensson

Browse the full TAP paper archive.