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