K. J. Hintikka, “An application of logic to algebra”, Math. Scand., vol. 2, pp. 242–245, Dec. 1954.