How to find axioms for finite domains: A computational exploration of mathematical discovery.

Gordon Krieger, Dirk Schlimm

Browse the full CogSci paper archive.