Jean Porte Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. 421-431 1958 23 J. Symb. Log. 4 db/journals/jsyml/jsyml23.html#Porte58