Pietruszczak, A. “The Axiomatization of Horst Wessel’s Strict Logical Consequence Relation”. Logic and Logical Philosophy, vol. 13, no. 13, Dec. 2004, pp. 121-38, doi:10.12775/LLP.2004.007.