Lin, F. (2018) “Machine Theorem Discovery”, AI Magazine, 39(2), pp. 53-59. doi: 10.1609/aimag.v39i2.2794.