Blanchette, J. C., Greenaway, D., Kaliszyk, C., Kühlwein, D., & Urban, J. (2016). A Learning-Based Fact Selector for Isabelle/HOL. Journal of Automated Reasoning, 57(3), 219-244. doi:10.1007/s10817-016-9362-8.