Waragai, T., and H. Omori. “Some New Results on PCL1 and Its Related Systems”. Logic and Logical Philosophy, vol. 19, no. 1-2, June 2010, pp. 129-58, doi:10.12775/LLP.2010.006.