de Moraes, L., and J. M. Abe. “Some Results on Jaśkowski’s Discursive Logic”. Logic and Logical Philosophy, vol. 9, no. 9, Jan. 2004, pp. 25-33, doi:10.12775/LLP.2001.002.