V. L. Vasyukov, “A new axiomatization of Jaśkowski’s discussive logic”, LLP, vol. 9, no. 9, pp. 35–46, Jan. 2004.