> KBSS
> STILL
> IDA
> AIC
Blanchette, J., Greenaway, D., Kaliszyk, C., Kuhlwein, D., Urban, J.
BLANCHETTE, J., et al. A Learning-Based Fact Selector for Isabelle/HOL. Journal of Automated Reasoning. 2016, 57(3), 219-244. ISSN 0168-7433. DOI 10.1007/s10817-016-9362-8.