[[1] A. A. Albert. Quasigroups. I. Transactions of the American Mathematical Society, 54(3): 507–519, 1943.10.1090/S0002-9947-1943-0009962-7]Search in Google Scholar
[[2] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.10.1007/s10817-017-9440-6]Search in Google Scholar
[[3] Maria Paola Bonacina and Mark E. Stickel, editors. Automated Reasoning and Mathematics – Essays in Memory of William W. McCune, volume 7788 of Lecture Notes in Computer Science, 2013. Springer.10.1007/978-3-642-36675-8]Search in Google Scholar
[[4] Michael K. Kinyon, Robert Veroff, and Petr Vojtěchovský. Loops with abelian inner mapping groups: An application of automated deduction. In Bonacina and Stickel [3], pages 151–164.10.1007/978-3-642-36675-8_8]Search in Google Scholar
[[5] Christoph Schwarzweller and Artur Korniłowicz. Characteristic of rings. Prime fields. Formalized Mathematics, 23(4):333–349, 2015. doi:10.1515/forma-2015-0027.10.1515/forma-2015-0027]Search in Google Scholar