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