Diderik Batens: A completeness-proof method for extensions of the implicational fragment of the propositional calculus. Notre Dame J. Formal Log. 21(3): 509-517 (1980)