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