L. de Moraes and J. M. Abe, “Some results on Jaśkowski’s discursive logic”, LLP, vol. 9, no. 9, pp. 25–33, Jan. 2004.