How to find axioms for finite domains: A computational exploration of mathematical discovery. - Gordon Krieger; Dirk Schlimm (CogSci, 2019)