Automating Inductive Proofs Using Theory Exploration.

Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone

Browse the full CADE paper archive.