Valpola, V. (1955) “Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik”, MATHEMATICA SCANDINAVICA, 3, pp. 107–114. doi: 10.7146/math.scand.a-10431.