Semigroups underlying first-order logic - Craig, William, 1918-2016 (American Mathematical Society, 2006)
"Volume 184, number 866 (second of 4 numbers)"