1. Bancerek, G., et al.: The role of the Mizar mathematical library for interactive proof development in Mizar. J. Autom. Reason. 61(1–4), 9–32 (2018)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);G Bancerek,2015
3. Lecture Notes in Computer Science;H Barbosa,2022
4. Barrett, C., Stump, A., Tinelli, C., et al.: The SMT-LIB standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK), vol. 13, p. 14 (2010)
5. Bjørner, N., Janota, M.: Playing with quantified satisfaction. In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning – Short Presentations, LPAR, vol. 35, pp. 15–27. EasyChair (2015)