A. Pietruszczak, „The axiomatization of Horst Wessel’s strict logical consequence relation”, LLP, t. 13, nr 13, s. 121–138, grudz. 2004.