Analogical Reasoning and Proof Discovery.

Bishop Brock, Shaun Cooper, William Pierce

Browse the full CADE paper archive.