Ken Kunen: Algebraist

Although better known as a set theorist, Ken Kunen did important work in algebra, particularly in quasigroup theory and loop theory. This paper describes some of this work, especially his use of automated deduction tools, with a lot of attention given to projects done in collaboration with the author.