Hintikka, K.J. (1954) “An application of logic to algebra”, Mathematica Scandinavica, 2, pp. 242–245. doi:10.7146/math.scand.a-10411.