(1)
Lin, F. Machine Theorem Discovery. AIMag 2018, 39, 53-59.