A. Pietruszczak, “The axiomatization of Horst Wessel’s strict logical consequence relation”, LLP, vol. 13, no. 13, pp. 121–138, Dec. 2004.