Ken Kunen: Algebraist
  This paper is a greatly expanded version of a talk I gave in April 2009 at KunenFest. It describes Ken's work in algebra, particularly using automated deduction tools. 
Michael Kinyon
math.HO