SCHWARTZ, Yehuda and TOURLAKIS, George. On the proof-theory of a first-order extension of GL. Logic and Logical Philosophy. Online. 18 September 2013. Vol. 23, no. 3, p. 329–363. [Accessed 4 July 2024]. DOI 10.12775/LLP.2013.030.