WARAGAI, Toshiharu and OMORI, Hitoshi. Some new results on PCL1 and its related systems. Logic and Logical Philosophy. Online. 30 June 2010. Vol. 19, no. 1-2, pp. 129-158. [Accessed 5 July 2024]. DOI 10.12775/LLP.2010.006.