Valpola, Veli. “Eine Eigenschaft gewöhnlicher Negationsloser Kalküle Der Propositionen- Und Prädikatenlogik”. Mathematica Scandinavica, vol. 3, Dec. 1955, pp. 107-14, https://doi.org/10.7146/math.scand.a-10431.