T. Skolem, “Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices”., Math. Scand., vol. 6, pp. 231–236, Dec. 1958.