1. Premise selection for mathematics by corpus analysis and kernel methods;Alama;Journal of Automated Reasoning,2014
2. H. Barbosa, A. Reynolds, D. El Ouraoui, C. Tinelli and C. Barrett, Extending SMT solvers to higher-order logic, in: Proceedings of the 27th International Conference on Automated Deduction, P. Fontaine, ed., Lecture Notes in Computer Science, Vol. 11716, Springer-Verlag, 2019, pp. 35–54.
3. CVC4
4. E. Bartocci, D. Beyer, P.E. Black, G. Fedyukovich, H. Garavel, A. Hartmanns, M. Huisman, F. Kordon, J. Nagele, M. Sighireanu, B. Steffen, M. Suda, G. Sutcliffe, T. Weber and A. Tamada, TOOLympics 2019: An overview of competitions in formal methods, in: Proceedings of the 2019 International Conference on Tools and Algorithms for the Construction and Analysis of Systems, T. Vojnar and L. Zhang, eds, Lecture Notes in Computer Science, Vol. 11429, Springer-Verlag, 2019, page to appear.
5. A. Bhayat and G. Reger, Set of support for higher-order reasoning, in: Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning, Number 2162 in CEUR Workshop Proceedings, B. Konev, P. Rümmer and J. Urban, eds, 2018, pp. 2–16.