1.
Lin F. Machine Theorem Discovery. AIMag [Internet]. 2018Jul.1 [cited 2021Dec.6];39(2):53-9. Available from: https://ojs.aaai.org/index.php/aimagazine/article/view/2794