K. J. Hintikka, “An application of logic to algebra”, Math. Scand., vol. 2, pp. 242–245, Dec. 1954, doi: 10.7146/math.scand.a-10411.