Skolem, T. Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. Math. Scand. 1958, 6, 231-236.